There is a git command called “git request-pull” that would format an email that you could send to a mailing list saying “instead of me sending an email patch series, here is a public endpoint you can pull from to test my series”. We turned “request a pull” into a “Pull Request”
Why is a "pull request" not a "push request"? 🤔