Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: change git:// to https:// in pre-commit (#13)
- https:// is more reliable than git:// (IIUC it's fewer back-and-forth) - coincidentally, github has flaky git:// access today - https content can be cached trivially for accelerated remote access (my pre-commit local cache seems to need to check github every run)
- Loading branch information