[Tickets #10132] Re: github hook ignores diverging usernames?

[bugs at horde.org]

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?