"pull -f" mode that bumps the rust-version file even if nothing changed #26
Description
Sometimes we have to do a rustup sync in Miri even when the Miri subtree did not change (e.g. here). Currently I have to then manually edit the rust-version file as the sync tool refuses to do anything when there's no subtree change. Would be nice to overwrite that.
(I found --allow-noop but that just changes the exit code, which is not enough. I still have to edit the rust-version file manually.)