@nik I did not specify that it breaks everyones workflow who is "using rust".
I just said "everyones", leaving out which group I mean by that. 😉
IMO branch renames breaks workflows of users of the repository where the rename happens.
@musicmatze @nik First saying "everyone" and then stating that everyone doesn't even include that big of a group (only people that work with the main rust-lang/rust repo) is a bit disingenuous.
I work regularly with rust-lang/rust and rust-lang/rust-clippy, have half a dozen scripts that point to those repos for fetching.
The fix? A single line diff, `-master +HEAD`, I really don't see the issue or why you should use the rust hashtag and worry people. Rust user's workflows won't be affected a single bit.
“Everyone using rust” is, surprisingly, actually a subset of “everyone”.