Would be nice if all git pushes was first preceded by git pull
Would be nice if all git pushes was first preceded by git pull