Thanks Sean. I built the site locally and it looked good so I pushed the change.
On Mon, Aug 27, 2018 at 10:24 PM, Sean Busbey <[email protected]> wrote: > I'd say just pushing it yourself is fine. The only caveat on the > timezone would be to make sure it renders correctly on the website. If > you don't want to run the check locally, a jira with a patch will > cause the QABot to render the site for you. > On Mon, Aug 27, 2018 at 1:09 PM Lars Francke <[email protected]> > wrote: > > > > It looks like I never added myself to the team listing in pom.xml. > > Looking at past commits it looks like I can just do that myself without > > opening a Jira? > > > > And everyone's using numerical timezones but Maven also allows text > > identifiers[1] like "Europe/Berlin". Any objections in me using that? > It's > > not too important either way but the numbers change with summer/normal > time. > > > > [1] <https://maven.apache.org/pom.html#Developers> >
