Skip to content

Remove rust-timer branches from rust-lang/rust - #2680

Merged
ubiratansoares merged 1 commit into
rust-lang:mainfrom
Kobzol:rust-remove-rust-timer-branches
Aug 17, 2026
Merged

Remove rust-timer branches from rust-lang/rust#2680
ubiratansoares merged 1 commit into
rust-lang:mainfrom
Kobzol:rust-remove-rust-timer-branches

Conversation

@Kobzol

@Kobzol Kobzol commented Aug 15, 2026

Copy link
Copy Markdown
Member

The unrolling functionality has been migrated over to bors, so this access is not needed after rust-lang/rustc-perf#2524. This removes one ad-hoc account with push privileges to rust-lang/rust 🎉.

After this is merged, the perf-tmp and try-perf branches should be removed from rust-lang/rust.

The unrolling functionality has been migrated over to bors.
@github-actions

Copy link
Copy Markdown
Dry-run check results

[WARN  rust_team::sync] sync-team is running in dry mode, no changes will be applied.
[INFO  rust_team::sync] synchronizing crates-io
[INFO  rust_team::sync] synchronizing github
[INFO  rust_team::sync] 💻 Repo Diffs:
    📝 Editing repo 'rust-lang/rust':
      Rulesets:
          Deleting 'try-perf'
          Deleting 'perf-tmp'
      Environments:
        🔄 Update: bors
            Removing branches: try-perf
    📝 Editing repo 'rust-lang/rust-bindgen':
      Environments:
        ❌ Delete: copilot

@ubiratansoares
ubiratansoares added this pull request to the merge queue Aug 17, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Aug 17, 2026
@ubiratansoares
ubiratansoares added this pull request to the merge queue Aug 17, 2026
Merged via the queue into rust-lang:main with commit 845fe84 Aug 17, 2026
4 checks passed
@ubiratansoares

ubiratansoares commented Aug 17, 2026

Copy link
Copy Markdown
Contributor

Those branches were deleted as requested!

screenshot-2026-08-17 at 21 17 02

@Kobzol

Kobzol commented Aug 17, 2026

Copy link
Copy Markdown
Member Author

Thank you very much!

@Kobzol
Kobzol deleted the rust-remove-rust-timer-branches branch August 17, 2026 21:57
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.

2 participants