Topic/heptapod/handle obsolete revs

When pushing to a git repository, if a reference was published, it didn't get updated by a push. This makes the first push move the git reference to its new position, and a second push to remove it completely.