Merging RFC pull requests

[David Luposchainsky]

On 10.08.2016 05:23, M Farkas-Dyck wrote:
> Who has authority to do so? Shall we vote whether to merge each?

The idea is that people talk about the proposals in the comments, and if we come
to an agreement on a proposal, we merge the PR. This isn’t set in stone, but I
felt like someone should get some form of process started, so I took a look at
how Rust is doing it, and here we are. :-)

David/quchen