Re: how to increase velocity for merging PRs?

Mon, 15 Oct 2018 02:15:11 -0700 

I've been thinking of moving the RFCs into their own repository, that would 
also clean up the issue tracker.

Reply via email to