d37a479015
Instead of relying on push triggers in general, we now use pull_request and reserve push triggers for main and release branches. This makes the behaviour more consistent for users contributing from repository forks. However, we no longer have a quick-feedback loop for development.