Use GitHub as git repository when possible
Use GitHub as git repository when possible

Else the github hook does not match the job from the github notification.

Fixes #106.

Change-Id: I7229bdce6def49451a15470a45261b8b6ee97d7f

bazelbuild/continuous-integration,bazelbuild/continuous-integration,bazelbuild/continuous-integration,bazelbuild/continuous-integration,bazelbuild/continuous-integration,bazelbuild/continuous-integration,bazelbuild/continuous-integration,bazelbuild/continuous-integration