chiark / gitweb /
tests: drs-push-rejects: some failure cases; generate tags in script