| ▲ | drusepth an hour ago | |
What is the benefit of deleting a PR over just closing it? It seems like closing has the benefit of signaling what kinds of PRs aren't acceptable, which deleting would lose. | ||
| ▲ | TuxSH an hour ago | parent [-] | |
Closing a PR or issue still makes it discoverable in PR/issue search results, as opposed to deleting an issue. | ||