[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         | 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              | Feedback
  Priority           | 1. Low
  Milestone          |
  Patch              |
  Owners             |
------------------------------------------------------------------------------


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

> Ping?
It seems to do now but I don't know why. -> can probably be closes.