Re: #5856: tag git commit for successful builds in dist-git