Skip to content

Don't immediately delete PR's branch in case it's close&reopen - #483

Merged
Mariatta merged 7 commits into
python:mainfrom
Jackenmen:patch-3
May 12, 2022
Merged

Don't immediately delete PR's branch in case it's close&reopen#483
Mariatta merged 7 commits into
python:mainfrom
Jackenmen:patch-3

Merge branch 'main' into patch-3

9498225
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs