Comment by geongeorgek

Out of curiosity, If I were running my own git server can I delete a PR completely?