Making sure user changes are pushed to github.