Skip to content

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Dec 23, 2025

This shouldn't actually change anything, it's just for documentation. The corresponding changes to allow bors to push to automation/bors/auto[-merge] and main/stable/beta have to be done manually by an infra admin.

@rustbot
Copy link

rustbot commented Dec 23, 2025

rust_team_data/src/v1.rs has been modified, it is used (as a git dependency) by multiple sub-projects like triagebot, the www.rust-lang.org website and others.

If you are changing the data structures, please make sure that the changes are not going to break serde deserialization (adding a field is fine; removing or renaming a field isn't).

If you must do a breaking change to the format, make sure to coordinate it with all the users of the rust_team_data crate.

@github-actions
Copy link

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing crates-io
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Repo Diffs:
    📝 Editing repo 'rust-lang/bors':
      Rulesets:
          Branch protection for main
    📝 Editing repo 'rust-lang/rust':
      Environments:
        🔄 Update: bors
            Adding branches: automation/bors/auto

@Kobzol Kobzol marked this pull request as ready for review December 23, 2025 14:36
@marcoieni marcoieni added this pull request to the merge queue Dec 23, 2025
Merged via the queue into rust-lang:main with commit e79cdbe Dec 23, 2025
3 checks passed
@Kobzol Kobzol deleted the rust-bors branch December 23, 2025 14:48
@marcoieni
Copy link
Member

The corresponding changes to allow bors to push to automation/bors/auto[-merge] and main/stable/beta have to be done manually by an infra admin.

done ✅

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants