Have the update_repo script check for updates to itself

[callahad]

To ensure that bugfixes are picked up, the release script should attempt to verify that its checkout of this repo is up to date.

[babolivier]

By release script, are you referring to Synapse's release script in Synapse's repo? Or the script to publish debs in this repo?

If it's the latter, we could probably just have it run git pull at the start of the run.

[richvdh]

Yeah this refers to the script to update the repository.

If it's the latter, we could probably just have it run git pull at the start of the run.

Probably, but that assumes that you're working on the right branch etc. I'd prefer it to check if it was on the same commit as upstream HEAD, and bomb out if not (unless you give it a --force option)