chiark / gitweb /
bin/update: Check current state before submitting an update.