Sweet little script I use often. Given a SHA, what was its PR?
$ cd ~/podman-src-dir
$ git-sha-to-pr 5fc3de5
23989 2024-09-17 [email protected] main https://github.com/containers/podman/pull/23989
$ cd ~/buildah-src-dir
$ git-sha-to-pr 9a5b88d
5804 2024-11-07 [email protected] main https://github.com/containers/buildah/pull/5804