3 ms·In the old days this was done over email. "PRs" are a GitHub thing, not a Git thing.by junon 3y agoIn the old days this was done over email. "PRs" are a GitHub thing, not a Git thing.