path: root/.gitignore
diff options
authorIan Jackson <>2018-08-24 22:35:04 +0100
committerIan Jackson <>2018-08-24 22:39:27 +0100
commitfbf9b5517d1c8d3a5e906477b9e4a11866168559 (patch)
tree3d4892924dea8ef2469aaa021a99c450795317f3 /.gitignore
parent626c5a5851ebabb54e01e3fe3e15b3971f62555b (diff)
test suite: lib-gdr: Check that we made patches with gdr
Conveniently, the places where we don't want this, and are deliberately looking for dgit-self-made patches, are gdr-makepatches7 and mix-it in gdr-subcommands; there, we don't push, so don't end up checking t-gdr-made-patches. We also add this check to the appropriate place in gdr-subcommands. Signed-off-by: Ian Jackson <>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions