Commit work back to GitHub from mybinder.org

[dhimmel]

I used the following workflow (will only work if you're me):

if [ ! -d .git ] ; then
  git init
  git remote add origin https://github.com/dhimmel/biorxiv-licenses.git
  git config --global user.email "[email protected]"
  git config --global user.name "Daniel Himmelstein"
fi

# Add files you want and commit
git add
git commit --message "Your description"
git branch --set-upstream-to=origin/master master

git pull --rebase
# If there's a conflict
git checkout --ours Dockerfile
git checkout --theirs # Files modified by your commits here
# Add files with desired changes
git add 
git rebase --continue

# Push to github (enter username and password when prompted)
git push

Note I don't recommend this -- there are conflicts and it's hard to resolve. Also the binder can be out of date unless you recently rebuilt it.