chiark / gitweb /
tests: drs-push-rejects: introduce and use "mustsucceed"