Merging RFC pull requests