diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-19 01:48:13 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-25 20:12:52 +0100 |
commit | ae0be57dee74ad701f67dfa484fe983808311762 (patch) | |
tree | 87f75fbace4dcb9eaae1772cb25fa666eea003c9 /tests/tests | |
parent | 15b1af481906f016401f5c16fc548538ad43e806 (diff) |
Test suite: drs-push-rejects: Test push of same version with different dgit
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'tests/tests')
-rwxr-xr-x | tests/tests/drs-push-rejects | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/tests/drs-push-rejects b/tests/tests/drs-push-rejects index 07abf4a..f87cbdc 100755 --- a/tests/tests/drs-push-rejects +++ b/tests/tests/drs-push-rejects @@ -149,6 +149,12 @@ mustfail 'push is missing head ref update' $push_spec1 +$push_spec2 git commit --allow-empty -m 'Dummy update' mktag mustfail 'not replacing previously-pushed version' +$push_spec1 +$push_spec2 + +t-newtag +re-prep +mktag +mustfail 'not replacing previously-pushed version' +$push_spec1 +$push_spec2 + git reset --hard HEAD~ prep_dm_mangle () { |