Add so it only restarts when it pushes to the main branch. Not pull requests #23
Description
It would be great if it did not try to restart the repl when it is in a PR on GitHub.
{{ message }}
Add so it only restarts when it pushes to the