* See [this stackoverflow question](https://stackoverflow.com/questions/3258243/check-if-pull-needed-in-git)