Avoid need for closing and then re-opening PRs for checking a PR's CI again for an updated master branch#1884
Open
steffahn wants to merge 1 commit into
Open
Avoid need for closing and then re-opening PRs for checking a PR's CI again for an updated master branch#1884steffahn wants to merge 1 commit into
steffahn wants to merge 1 commit into
