Comment Comment by hannob It seems they use some combination of gitolite and their own stuff.The post mentions karma, there's some code here: https://github.com/php/karma/ parent hannob 5 years ago
The post mentions karma, there's some code here: https://github.com/php/karma/