On 11/29/18 6:45 AM, Florian Weimer wrote: > > On the other hand, maybe an approach based on pull requests is the > future, where all this is much more tightly integrated. But I don't > know if we (as in GNU) have hosting for that available. That's certainly where I want to go... jeff