minor fixes

case on "GitHub"
unused GitHubPushCause