I agree, it's a hack. This hack competes with the "auto-close all pull requests" hack. Which hack you would choose depends on how important it is never to see

I agree, it's a hack. This hack competes with the "auto-close all pull requests" hack. Which hack you would choose depends on how important it is never to see pull requests (e.g. for IP reasons as described elsethread).