Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GA: remove merging with upstream branch
According to actions/checkout#15 (comment), GA when triggered by a pull request will check out the merged state of the repo. Also therefore no need to clone to depth greater than 1.
- Loading branch information