Doug Parker 5c9fc32ae6 docs: update release doc with more merge details
Added some additional details for how the caretaker should merge PRs, including a GitHub search which lists all pending PRs.
2019-11-20 13:20:42 -08:00
..