chiark / gitweb /
dgit-badcommit-fixup; In --check mode, exit status 2 if things are not fine
[dgit.git] / infra / drs-cron-wrap
2017-01-06 Ian Jacksonbadcommit-fixup: Merge from a filtered view of my perso...
2015-06-28 Ian JacksonInfra: Add drs-cron-wrap