[Tickets #10132] Re: github hook ignores diverging usernames?
bugs at horde.org
bugs at horde.org
Thu May 26 14:08:22 UTC 2011
DO NOT REPLY TO THIS MESSAGE. THIS EMAIL ADDRESS IS NOT MONITORED.
Ticket URL: http://bugs.horde.org/ticket/10132
------------------------------------------------------------------------------
Ticket | 10132
Updated By | Michael Rubinsky <mrubinsk at horde.org>
Summary | github hook ignores diverging usernames?
Queue | Horde.org Servers
Version | Git
Type | Bug
State | Unconfirmed
Priority | 1. Low
Milestone |
Patch |
Owners |
------------------------------------------------------------------------------
Michael Rubinsky <mrubinsk at horde.org> (2011-05-26 14:08) wrote:
No, as long as the ssh key you uploaded to github matches your key on
git.horde.org you will be matched to the correct user.
Assuming your keys match (you can test by sshing to github from
git.horde.org), this might be due to you not being part of the horde
organization on github. What is your github username?
More information about the bugs
mailing list