Commit graph

9 commits

Author SHA1 Message Date
wyattscarpenter 4d2d393142
Use filetimes in check_integrity (#1162)
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
* 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
Edwin Kofler 2d221c1b67
tweak: Fix typos (#1046) 2023-05-18 10:19:24 +08:00
spacewander 5bffcb4c89 improve the quality of the integrity check. 2019-08-18 11:46:00 +08:00
spacewander d4de567ca7 git-line-summary: should be the history
Also remove some trailing lines after the output.
2019-07-23 22:13:29 +08:00
spacewander c03e0ad841 check_integrity.sh: check more strickly. 2019-06-22 11:16:09 +08:00
spacewander 4b09e94853 check_integrity.sh: improve readability. 2019-05-25 11:06:03 +08:00
spacewander c8142ca539 Relax #! format check 2016-11-01 10:22:45 +08:00
spacewander 5384091183 update check_integrity with nicolaiskogheim's patch 2016-07-29 11:26:03 +08:00
spacewander f60f127d57 Add check integrity script 2016-07-28 22:18:27 +08:00