Changes to the git repository