chiark / gitweb /
test suite: Test ill-advised repeat dgit push after git push fails