Tweak merge criteria based on @smashwilson's comment
Tweak merge criteria based on @smashwilson's comment

> I'm kind of thinking of it as "we merge the RFC PR when we, the core team, move on to something else and aren't working on it directly for a while," rather than when we hit some "completeness" threshold? Put another way - I think that us starting to work on new things is a good, emergent, arbitrary way for us to call a feature "shipped", even if there's still stuff in the document that we haven't gotten to yet.

Co-Authored-By: Ash Wilson <8d458f55d3052bb46018ce3f1d443514622c0f93@gmail.com>

atom/github,atom/github,atom/github