also inadvertently included the version number in our dev branch from what was going to be the release branch.
# specifies the version of the code that is being constructed here.
major=2
minor=140
-revision=90
+revision=91
build=420
# specifies the remainder of the version record info.
# there could already be committed changes that haven't been pushed yet.
# upload any changes to the upstream repo so others can see them.
- git push 2>&1 | grep -v "X11 forwarding request failed" | $TO_SPLITTER
+ git push origin "$(my_branch_name)" 2>&1 | grep -v "X11 forwarding request failed" | $TO_SPLITTER
test_or_die "git push"
fi
elif [ -d ".git" ]; then
if test_writeable ".git"; then
$blatt
- git pull --no-ff origin 2>&1 | grep -v "X11 forwarding request failed" | $TO_SPLITTER
+ git pull --no-ff 2>&1 | grep -v "X11 forwarding request failed" | $TO_SPLITTER
if [ ${PIPESTATUS[0]} -ne 0 ]; then false; fi
test_or_die "git pull of origin without fast forwards"
fi