deploy_notes.txt

# list remotes
git remote -v

# add named remotes
git remote add gh-allensdk https://github.com/AllenInstitute/AllenSDK.git
git remote add ai-allensdk http://timf@stash.corp.alleninstitute.org/scm/inf/allen_wrench.git

cd allen_wrench
git checkout dev
make clean
mkdir -p doc/_build
cd doc/_build
git init
git clone -b gh-pages https://github.com/AllenInstitute/AllenSDK.git html
cd ../..
make doc
cd doc/_build/html
git add --all
git commit -m 'documentation deploy'
git push github gh-pages-test

# delete a remote branch
git push origin --delete gh-pages-test
# Roll back a pushed commit:
git reset HEAD^ # remove commit locally
git push origin +HEAD # force-push the new HEAD commit

refs/heads/gh-pages:refs/remotes/github/gh-pages
refs/heads/dev:refs/remotes/origin/dev
if you get into trouble:
git reset --hard origin/dev  # remote tracking branch