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