pushgh: make sure 'master' bookmark is up-to-date first.