I am in the midst of the Community Starter Kit and I seem to be frozen at the Step 10: Merge the Contributing Guide. It is not showing the option to Merge the Pull Request and the Bot has not responded for several hours. I am not showing any open pull requests. I did not see a “do it yourself” fix here. Hopefully I don’t have to start over?