Skip to content

Merge pull request #4169 from serlo/ci/add-polling-to-merge-pr-within… #430

Merge pull request #4169 from serlo/ci/add-polling-to-merge-pr-within…

Merge pull request #4169 from serlo/ci/add-polling-to-merge-pr-within… #430