Skip to content

Instantly share code, notes, and snippets.

@mkantor

mkantor/push.sh

Created May 2, 2013 05:12
Show Gist options
  • Save mkantor/5500264 to your computer and use it in GitHub Desktop.
Save mkantor/5500264 to your computer and use it in GitHub Desktop.
Download ZIP
Make sure that the `master` and `gh-pages` branches are identical on `origin`.
Raw
push.sh
#!/bin/sh
echo 'Pushing master to origin/master...'
git push origin master
echo 'Pushing origin/master to origin/gh-pages...'
git push origin origin/master:gh-pages
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment