summaryrefslogtreecommitdiff
path: root/dgit-badcommit-fixup
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-06 23:23:19 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-07 11:18:17 +0100
commit5986d81a14f60f14ee2d31967be1bc2f6ba6cc7a (patch)
tree1d4ea3052d9244272f78637d8366a84b7d4ff333 /dgit-badcommit-fixup
parent314836c04a9199e5a008e1ed8734887cf9969bf6 (diff)
test suite: tagupl*: Drop use of --no-push
Now we do actually push. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit-badcommit-fixup')
0 files changed, 0 insertions, 0 deletions