push github instead of push http://..., thanks to git remote set-url

Change-Id: I992c337f3d9f70dfbf16e4d49bbd8837d4c3303d