tools for working with git and github