Hi, On Wed, 06 Sep 2023 at 22:01, Maxim Cournoyer <maxim.courno...@gmail.com> wrote:
> We could use Gerrit's commit hook that adds a unique ID as a git > trailer. Then it should become possible to Do we still already have Gerrit running? Cheers, simon