quattor/release — pull request #48 by jrha (2014-08-19 10:52:00+00:00)
Title: Push HEAD along with tags

Fixes #45.

We switched from `git push` to `git push --tags`, but failed to notice that `update_examples()` committed the changes it made but did not push them.
Pushing the commits and the tags simultaneously seems nice and atomic.