On Sunday, September 20, 2015 10:50:43 AM Martin Klapetek wrote: > Gnome in their years history of github mirroring had 4 pull requests > (it was mentioned in the other thread...one of the others). > > So we might very likely be talking non-issues here anyway. 100% agreed -Riccardo