tj.git-extras/.github
wyattscarpenter 4d2d393142
Some checks failed
ci / lint (push) Has been cancelled
ci / typo (push) Has been cancelled
ci / test (push) Has been cancelled
ci / build (macos-latest) (push) Has been cancelled
ci / build (ubuntu-latest) (push) Has been cancelled
Use filetimes in check_integrity (#1162)
* check the file times in check_integrity

* make no-arguments to check_integrity check all commands, and also make check_integrity run git-utimes first

this has the downside that the script now takes a little longer. But the upside that it guarantees more correctness.

* update git-extras

using the incredible power of the new script, I have detected this was out of date, out of sync, etc
2024-09-19 11:27:11 +08:00
..
workflows Use filetimes in check_integrity (#1162) 2024-09-19 11:27:11 +08:00
.ignore_words Add typo checker 2023-06-19 21:51:53 +08:00
dependabot.yml ci: add dependabot update for GitHub actions (#1141) 2024-04-28 10:06:37 +08:00
PULL_REQUEST_TEMPLATE.md add pull request manner (#1113) 2023-11-21 10:39:44 +08:00