re-opening pull request

how do i re-open a pull request? it looks like i’m in some kind of limbo. it’s complaining about unmerged commits, but i cannot re-open the PR. all i can do is delete the branch.

it doesn’t make any sense.

https://github.com/processing/p5.js/pull/3125

I wonder if it’s permission related or some other repository specific setting since it’s not a repository owned by you.

You can re-open it using a button below the comment box.

4 Likes

What if the button was dimmed (deactiveated)?

6 Likes

There’s no reason? I see it deactivated when the branch has been deleted