#dev 2024-08-29

2024-08-29 UTC

[tantek] good to know there's no particular reason to stick with the not only dev-centric but git-specific(!) phrase "pull request" since it apparently originated from git command line "git request-pull"