doc(git): how to find which PR a commit belongs to

SamuelLarkin · Jul 10, 2024 · 5eec046 · 5eec046
1 parent 60564b2
commit 5eec046
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/docs/git.md b/docs/git.md
@@ -51,3 +51,13 @@ This effectively does a fast forward push from the CLI.
 ```sh
 git push origin origin/dev/work:main
 ```
+
+## Find Which PR a Commit Belongs to
+
+When you want to know a commit what added during which Pull Request:
+
+```sh
+git clone --mirror git@github.com:EveryVoiceTTS/EveryVoice.git EveryVoice-mirror
+cd EveryVoice-mirror/
+sed -i 's|refs/pull/|refs/heads/pull/|' packed-refs
+git log --all --graph --decorate --oneline   # or your favourite compact log