[Buildbot] #3319: The repository is parsed differently in the push and in the pull request events of the github hook

[Buildbot trac]

#3319: The repository is parsed differently in the push and in the pull request
events of the github hook
--------------------+------------------------
Reporter:  parmegv  |       Owner:
    Type:  defect   |      Status:  new
Priority:  minor    |   Milestone:  undecided
 Version:  master   |  Resolution:
Keywords:  github   |
--------------------+------------------------

Comment (by parmegv):

 I'd change the "push" line to point the ".git" url instead of the plain
 github project url, but you may not agree with it because that's a
 "codebase" url.

 Anyway, tell me and I'll submit a pull request soon.

--
Ticket URL: <http://trac.buildbot.net/ticket/3319#comment:2>
Buildbot <http://buildbot.net/>
Buildbot: build/test automation