Fri, 10 Apr 2026 17:52:46 +0000 https://bugs.horde.org/ticket/10132 github hook ignores diverging usernames? 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 Thu, 26 May 2011 12:44:17 +0000 https://bugs.horde.org/ticket/10132#t65100 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? Thu, 26 May 2011 14:08:22 +0000 https://bugs.horde.org/ticket/10132#t65103 > 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. Tue, 31 May 2011 09:12:52 +0000 https://bugs.horde.org/ticket/10132#t65199 >> 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? Tue, 31 May 2011 19:16:56 +0000 https://bugs.horde.org/ticket/10132#t65205 Ping? Wed, 30 Nov 2011 18:26:26 +0000 https://bugs.horde.org/ticket/10132#t69161 > Ping? It seems to do now but I don't know why. -> can probably be closes. Thu, 01 Dec 2011 11:45:22 +0000 https://bugs.horde.org/ticket/10132#t69215