Description
It seems the exclusion is due to implementation problem: ee2d9e6 (#3596)
I agree it would be rare, but chances are people need to checkout a closed PR in order to test it, base their work on it or whatever. GitHub doesn't hide the "Code" dropdown on closed PR so I think we shouldn't either.
Screenshot
No response
Example URL
#3759
Description
It seems the exclusion is due to implementation problem:
ee2d9e6(#3596)I agree it would be rare, but chances are people need to checkout a closed PR in order to test it, base their work on it or whatever. GitHub doesn't hide the "Code" dropdown on closed PR so I think we shouldn't either.
Screenshot
No response
Example URL
#3759