-
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
This avoids weirdness like the merged PR commits being pushed to scheduled opened PRs after merging. It also avoids wasting resources.