EasyGit — GitHub Repository Manager