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

6.0.0-beta1

7/29/25

Summary	github hook ignores diverging usernames?
Queue	Horde.org Servers
Queue Version	Git
Type	Bug
State	Resolved
Priority	1. Low
Owners
Requester	ralf.lang (at) ralf-lang (dot) de
Created	05/26/2011 (5178 days ago)
Due
Updated	12/01/2011 (4989 days ago)
Assigned	11/30/2011 (4990 days ago)
Resolved	12/01/2011 (4989 days ago)
Github Issue Link
Github Pull Request
Milestone
Patch	No

12/01/2011 12:48:25 PM	Jan Schneider	State ⇒ Resolved

12/01/2011 11:45:22 AM	Ralf Lang	Comment #6	Reply to this comment
Ping? It seems to do now but I don't know why. -> can probably be closes.

11/30/2011 06:26:26 PM	Jan Schneider	Comment #5 State ⇒ Feedback	Reply to this comment
Ping?

05/31/2011 07:16:56 PM	Michael Rubinsky	Comment #4	Reply to this comment
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? github username is ralflang. I can directly commit to github / log into the github ssh test site. ..is this from dev.horde.org or from your local machine?

05/31/2011 09:12:52 AM	Ralf Lang	Comment #3	Reply to this comment
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? github username is ralflang. I can directly commit to github / log into the github ssh test site.

05/26/2011 02:08:22 PM	Michael Rubinsky	Comment #2	Reply to this comment
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?

05/26/2011 12:44:17 PM	Ralf Lang	Comment #1 Priority ⇒ 1. Low Type ⇒ Bug Summary ⇒ github hook ignores diverging usernames? Queue ⇒ Horde.org Servers Milestone ⇒ Patch ⇒ No State ⇒ Unconfirmed	Reply to this comment
The github hook never worked for me, though I followed instructions to the letter, verified the uploaded key multiple times etc. I think it is because my github name is different from my horde.org user name and my local box user name. unfortunately I cannot change my github name as my horde name is already taken on github. I've been looking at the github-mirror script but I have not yet an idea how to retrieve the $user. My idea was to look into a file git.horde.org:/home/$user/.github-name (if exists) and use the first line from there as username for the github transaction. I'm stuck here at the moment. It's not that important though as the things get pushed with the next author's commits. They're just not associated with the github account. Example https://github.com/horde/horde/blob/c037f4a66a477ccd72e739850c37f558e0d202b8/passwd/lib/Driver/horde.php