Skip to content
Snippets Groups Projects
user avatar
Mike McQuaid authored
This avoids weirdness like the merged PR commits being pushed to scheduled opened PRs after merging.

It also avoids wasting resources.
c6a5ea5f
History
Name Last commit Last update