Use a prettier name for github
Fixed handling pushes that delete branches
Fixed emails
Merge remote-tracking branch 'origin/pull-requests'