When a pull request is merged into the main branch, we should automatically build a new copy of Teco and, if it's different from the latest commit, submit as a PR to https://github.com/teco-project/teco.