Gary, Le jeu. 26 nov. 2020 à 15:47, Gary Gregory <[email protected]> a écrit : > > On Thu, Nov 26, 2020 at 9:43 AM Gilles Sadowski <[email protected]> > wrote: > > > Hello Gary. > > > > Le jeu. 26 nov. 2020 à 15:09, Gary Gregory <[email protected]> a > > écrit : > > > > > > Please update changes.xml when you merge a PR. > > > > Since when do we require that for Javadoc clean-up? > > > > It's more about providing *transparency* and *documenting* the fact that > this change came from a PR. If the change came from a Jira issue, we'd have > an entry to show the Jira issue ID. > > This is an open-source project and to me that means being open *and* > transparent.
I agree, but that's beside my point: You require undue work from a committer. People who want/need to engage in history tracking will need to turn to the version control system anyways. The PR number alone does not mean anything and is just noise in that report. Regards, Gilles --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
