a project for learning to push with git