how to fetch a closed pull request?

[Benoit Fouletier]

I'm trying to locally view a closed pull request; it's pretty old, and the source branch has been deleted, so this PR really is the only way to get at this code.

I really like the "pull requests" list in the branches view, but it (understandably) only shows active PRs: is there a way to fetch more / specific PRs by ID?

I was able to command-line my way around with git fetch origin pull/1612/head:pr_1612, but it just shows up as a regular branch, not a PR; are PRs just regular branches using a magic prefix or something?

Side-note: I occasionally wish for a SmartGit command line tool, for these kinds of SmartGit-enhanced conventions, like git smart fetch or something...

[syntevo Support]

> I really like the "pull requests" list in the branches view, but it
> (understandably) only shows active PRs: is there a way to fetch more /
> specific PRs by ID?

Currently, there is no way to display closed pull requests (it would typically overwhelm the GUI).

> I was able to command-line my way around with git fetch origin
> pull/1612/head:pr_1612, but it just shows up as a regular branch, not a PR;
> are PRs just regular branches using a magic prefix or something?

Not exactly. It's a .git/refs/pulls/... refs and to "fake" it, you'd need to know the internal GitHub pull request ID (the large number); otherwise, SmartGit cannot match the local branch with the pull request.

--
Best regards,
Marc Strapetz
syntevo GmbH
https://www.syntevo.com

10/06/2025 09:44 - Benoit Fouletier wrote:

> I'm trying to locally view a closed pull request

> <https://github.com/KhronosGroup/glTF/pull/1612>; it's pretty old, and the

> --
> You received this message because you are subscribed to the Google Groups
> "SmartGit" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
> smartgit+u...@googlegroups.com.
> To view this discussion visit
> https://groups.google.com/d/msgid/smartgit/875070a5-00c3-4ff2-ba01-0f9793a44b20n%40googlegroups.com.
>