Hacker News new | ask | show | jobs
by dewey 2908 days ago
You could revoke push permissions on that branch after the PR is requested though - there are probably tools that do that already.