commit 0ffe39b0c5a0f782cded7ffb2154b89a1c3c2086
from: Stefan Sperling <stsp@stsp.name>
date: Tue Apr 18 11:41:45 2023 UTC

show how to fetch a pull request in got.1 pull request example section

commit - e166551f658768ab6f4f75386d7da7d6c67b7ee3
commit + 0ffe39b0c5a0f782cded7ffb2154b89a1c3c2086
blob - 923e489c4fb37899470241b32f5235c9b6652c87
blob + cf38fa07face9d2a811a09f32c2b6e6bc5cff414
--- got/got.1
+++ got/got.1
@@ -3636,6 +3636,13 @@ then the following commands can be used to achieve thi
 .Dl $ got histedit -f
 .Dl $ got send -f -b master origin
 .Pp
+In addition to reviewing the pull request in the web user interface,
+Jelmer can fetch the pull request's branch into his local repository
+and create a local branch which contains the proposed changes:
+.Pp
+.Dl $ got fetch -R refs/pull/1046/head origin
+.Dl $ got branch -c refs/remotes/origin/pull/1046/head pr1046
+.Pp
 Once Jelmer has accepted the pull request, Stefan can fetch the
 merged changes, and possibly several other new changes, by running:
 .Pp