mirror of
https://github.com/NLnetLabs/krill.git
synced 2026-09-29 12:54:52 +02:00
As it also catches pushes to branches which then cause duplicate execution on PR creation: once for the branch push and once for the PR create from the branch. This may need revisiting if we want to support PRs from forks.