fix: add 5s sleep after automerge or restart (#1761)

This hopefully gives a better chance of GitHub being able to finish computing the new mergeability status, and reduces the chance of a race condition.

Closes #1617