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

Mariatta merged 7 commits into

python:mainpython/miss-islington:mainfrom

Jackenmen:patch-3Copy head branch name to clipboard