On Tue, Apr 16, 2013 at 07:50:57PM +0200, Alexander Hartmaier wrote: > Why don't we get a mail to the list when a pull request has been closed, in > this case by dbsrgits-sync? Because github... File a ticket?