Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Force pull requests to fetch history (#5)
* Force pull requests to fetch history. Previous implementation only fetched the latest changes made in the current branch. Since the CI pipeline only triggers on the latest pushed commit, this means linting errors can be avoided e.g due to multiple commits in a push.
- Loading branch information