
24 Aug
2022
24 Aug
'22
2:56 p.m.
On Wed, 24 Aug 2022 14:20:37 +1200, Peter Reutemann quoted:
'[Brian Kernighan:] "Once I figure out how ... I will try to submit a pull request. I wish I understood git better, but in spite of your help, I still don't have a proper understanding, so this may take a while."'
I hope he’s not confusing Git with GitHub. ”Pull requests” are a GitHub thing. It is quite feasible to submit patches in the usual non-GitHub-specific, indeed, non-Git-specific, format. Though, oddly, GitHub will not let you upload files with names ending in “.patch”. But it will accept zip archives containing patch files. Or name them to something like “.patch.txt”.