Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Crave: switch to the correct branch for the PR (#2124)
* Switch to the correct branch for the PR PRs have remote refs. That remote ref will not be automatically fetched when we fetch origin. So how do we fetch it? 1. first fetch the actual remote reference and map it to a "local ref". This is done using git fetch <remote-ref>:<name for local ref> 2. Then we switch to the ref: git checkout <name for local ref> This sets the state of the local clone to what the PR expects it to be
- Loading branch information