Document merge/push of upstream branch to github