Refuse to push changes with a dirty git client

[Daniel-B-Smith]

I've run into the issue more than once where I've fixed an issue in my client but forgotten to commit it one way or another. The verification succeeds because the files on disk are correct even though the files in the commit being pushed are incorrect.

This change checks to see if there are any uncommitted changes or untracked files in the client before running the tidy checks.

[rustbot]

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

• Owners of files modified in this PR: @Mark-Simulacrum

[chenyukang]

I'm not sure this is the way everyone need to follow, I definitely want to push to remote even there are untrack files left(for example some test files, etc), I may push to remote then git clean -fd to remove them later.

[Daniel-B-Smith]

I don’t feel strongly about untracked files. I’m happy to put that behind an environment variable one way or the other or just drop it altogether.

…

On Tue, Apr 28, 2026 at 11:13 PM Yukang ***@***.***> wrote: *chenyukang* left a comment (rust-lang/rust#155946) <#155946 (comment)> I'm not sure this is the way everyone need to follow, I definitely want to push to remote even there are untrack files left(for example some test files, etc), I may push to remote then git clean -fd to remove them later. — Reply to this email directly, view it on GitHub <#155946 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAZA2YFIMUTMNT44UMCJCKL4YFXMFAVCNFSM6AAAAACYJ5IGMOVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHM2DGNBQGU3DOMBWHA> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you authored the thread.Message ID: ***@***.***>