The Repository Manager Tool for Git