diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-31 19:02:44 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-05 13:41:48 +0100 |
commit | cac3a7959fa4714480cac143f6d2e0f5758a12e5 (patch) | |
tree | 4e183d87f781accefce3d3bd109db8ad35b3e12b | |
parent | 5a25026a936fed50c4ad1dd06b5fc57f3fe9c2c0 (diff) |
Split brain: Test case: Do push
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | tests/tests/quilt-gbp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/tests/quilt-gbp b/tests/tests/quilt-gbp index da27d14..b3e9534 100755 --- a/tests/tests/quilt-gbp +++ b/tests/tests/quilt-gbp @@ -23,13 +23,14 @@ t-dgit --quilt=gbp --clean=git build-source t-expect-fail 'specifies a different tree to your HEAD commit' \ t-dgit push +t-dgit --quilt=gbp push + exit 0 === want to - do push t-pushed-good XXX need to do something more subtle than check our branch is in repo now check that |