figuring out how to push to git