Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
COMP: Update .gitignore ensuring changes to .github files are reported
Also remove unneeded entry related to `.circleci` directory that was removed in 991cd64 ("COMP: Add "CI" GitHub action workflow to replace CircleCI", 2021-11-30)
- Loading branch information