Hello. Le jeu. 26 nov. 2020 à 15:22, Gary Gregory <[email protected]> a écrit : > > May you please show the PR number in the description? See the first action > in the list. This will give us better provenance for changes.
At first thought, I don't see that this info belongs in the "changes" file. [Rationale: Display *what* has changed (and *why* if there is an associated report). *How* (provenance) is provided by the commit.] Regards, Gilles > [...] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
