]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 926e784 9d664b2)
Rollup merge of #88313 - jyn514:pre-push, r=Mark-Simulacrum
authorMara Bos <m-ou.se@m-ou.se>
Mon, 7 Feb 2022 14:08:29 +0000 (14:08 +0000)
committerGitHub <noreply@github.com>
Mon, 7 Feb 2022 14:08:29 +0000 (14:08 +0000)
commitaee13fb7c50faba1db567736c1b17cbc4716c74d
treea8e3966b484f7b8075acf6b689a894390ca09c49tree | snapshot
parent926e7843eaa1794f15948395588eddedfb74a0d8commit | diff
parent9d664b24f92fbbe22b3243014bb98f6878db30a9commit | diff
Rollup merge of #88313 - jyn514:pre-push, r=Mark-Simulacrum

Make the pre-commit script pre-push instead

This should make it substantially less annoying, and hopefully more
people will find it useful. In particular, it will no longer run tidy
each time you run `git commit --amend` or rebase a branch.

This also warns if you have the old script in pre-commit; see the HACK
comment for details.

r? ````@Mark-Simulacrum```` cc ````@caass````
src/bootstrap/setup.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.