Currently, each pull request push triggers the Publish to Wiki Github action. We should only run this on merges to `main`.