Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Pin `actions/checkout` GitHub Action by commit-hash - Remove unneeded shell tag, as it was set to the default - Explain why `git add .` is needed
- Loading branch information