]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c18292f 8873e33)
Rollup merge of #101175 - tmandry:curse-push-hook, r=jyn514
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Tue, 30 Aug 2022 05:56:53 +0000 (11:26 +0530)
committerGitHub <noreply@github.com>
Tue, 30 Aug 2022 05:56:53 +0000 (11:26 +0530)
commit948aeff52173c8bae8e7b3f61e2ecd2d08856626
tree13d7acdb4c160c8cbbae9134352777237c5114fftree | snapshot
parentc18292f6a3d97d51f8a1950fa121d4f0a4c52f19commit | diff
parent8873e33806487a0fb12143772b1a3c1544edbe0bcommit | diff
Rollup merge of #101175 - tmandry:curse-push-hook, r=jyn514

Don't --bless in pre-push hook

Running with --bless causes the push to succeed if there are fixable
formatting changes, but the changes don't make it into the push.

We should have the user rerun with --bless (or x.py fmt) and commit the
changes themselves (they might want to amend a particular commit, for
instance).
Empowering everyone to build reliable and efficient software.