pull down to refresh

The steps you laid out seem correct to me for any non-consensus breaking changes. Should be important to additionally note that no PR gets merged without at least a few ACKs from established contributors.