Push update

Merged Otto Visser requested to merge push-update into master

Fixes #1 (closed).

Merge request reports