[Tickets #10132] 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
  Created By         | Ralf Lang (B1 Systems GmbH) <lang at b1-systems.de>
  Summary            | github hook ignores diverging usernames?
  Queue              | Horde.org Servers
  Version            | Git
  Type               | Bug
  State              | Unconfirmed
  Priority           | 1. Low
  Milestone          |
  Patch              |
  Owners             |
------------------------------------------------------------------------------


Ralf Lang (B1 Systems GmbH) <lang at b1-systems.de> (2011-05-26 12:44) wrote:

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