Remix.run Logo
▲ genxy an hour ago

Feels like a pull request is a proposal for whomever controls the branch ledger, to sign an existing commit as the new head of the branch.

There could be some fun cryptographic ways you could do it directly inside of git.