NOTE
You may not need local branches for all pull requests in a repo.
To fetch only the ref of a single pull request that you need, use this:
git fetch origin pull/7324/head:pr-7324
git checkout pr-7324
# ...
Olle Härstedt olleharstedt
karlhorky
/ pr.md
Last active
January 9, 2025 09:01
— forked from piscisaureus/pr.md
Fetch all GitHub pull requests to local tracking branches
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type z | |
| type 'a s | |
| (* Sadly enough, without kind restrictions, this still allows nonsense types like *) | |
| type nonsense = int s | |
| (* GHC 7.6 supports this (lifting types to kinds & kind constraints) ;-) *) | |
| type (_, _) llist = | |
| | Nil : (z, 'a) llist | |
| | Cons : ('a * ('l, 'a) llist) -> ('l s, 'a) llist |