Avoid pushing things we just pulled

This should fix issue #233 (closed).

Merge request reports

Loading