Fix git-update which was making the opposite conclusion than it should have regarding branches needing rebasing/diverging
Fix for pairing VCS author information not being set properly if there was more than one other pairing partner
In order for Github to properly register that we have merged a pull request, we have to push the merged branch to Github BEFORE we delete the PR branch
When doing a tailed grep, use the -E option so that we have access to sane regexs