Permalink
Browse files

do.sh: handle newer version of git for pushes

  • Loading branch information...
1 parent da30c96 commit f3d2561237efbd022ae36dd8661c495e9e52e14e @gregkh committed May 2, 2012
Showing with 2 additions and 1 deletion.
  1. +2 −1 work/do.sh
View
@@ -203,7 +203,8 @@ fi
ONLINE=`gregkh_machine_online`
# Only push if we have a network connection
if [ "$ONLINE" = "1" ] ; then
- git push kroah.com && git push
+ git push kroah.com ${TREE}-${BRANCH}
+ git push
fi
# now go back to the original branch so that we can continue to work

0 comments on commit f3d2561

Please sign in to comment.