You are right, PRs are not in git. format-patch and request-pull are originals designed for mailings lists. Github just put UI on top.

Interesting that DAG model means any branch from anywhere can be merged... the forge is just coordination.

Explored here if curious - https://vectree.io/c/git-graph-theory-logic