On Sat, Aug 3, 2019 at 7:47 AM Peter Kovacs <pe...@apache.org> wrote:
> Hello all, > > I have pushed Infra a bit. We are now migrating. > > So migration will be finished soon. > > Excellent :). > > I suggest we use the short hash. > > For what? Why can't we "git tag" relevant commits and use the tag instead? Damjan
