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

* Your Email Address
* Spam protection	Enter the letters below: __.. .. .. ,.__ (__ \| \|\|__\| \./ [__) .__)\|__\|\| \| \| \| \
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
Attachment
Watch this ticket