Avoid pushing things we just pulled

Sam Thursfieldrequested to merge
sam/233-push-after-pull into master

This should fix issue #233 (closed).

Merge request reports