commit f2afb89d51ee41bbafec1feba57e50bf362c75dd
from: Stefan Sperling <stsp@stsp.name>
via: Thomas Adam <thomas@xteddy.org>
date: Sat Apr 22 18:10:25 2023 UTC

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

commit - 38bad86b2fdd8641f26b955b0ea6d03a75500edf
commit + f2afb89d51ee41bbafec1feba57e50bf362c75dd
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