# we continue on to the push, even if there were no changes this time, because
# 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 origin "$(my_branch_name)" 2>&1 | grep -v "X11 forwarding request failed" | $TO_SPLITTER
# we continue on to the push, even if there were no changes this time, because
# 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 origin "$(my_branch_name)" 2>&1 | grep -v "X11 forwarding request failed" | $TO_SPLITTER