Skip to content

Add triagebot to rust-lang/rustdoc-types. #1865

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 24, 2025
Merged

Add triagebot to rust-lang/rustdoc-types. #1865

merged 1 commit into from
Jul 24, 2025

Conversation

aDotInTheVoid
Copy link
Member

We want to have him to post reminders that most PR's to this repo should be filed to rust-lang/rust instead.

Zulip Discussion

@aDotInTheVoid
Add triagebot to rust-lang/rustdoc-types.
21d9dd4 
We want to have him to post reminders that most PR's to this repo should
be filed to rust-lang/rust instead.

Zulip-Discussion: https://rust-lang.zulipchat.com/#narrow/channel/266220-t-rustdoc/topic/Triagebot.20for.20rust-lang.2Frustdoc-types/with/522207551
@github-actions GitHub Actions
Copy link

github-actions bot commented Jun 3, 2025

Dry-run check results 

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Repo Diffs:
    📝 Editing repo 'rust-lang/rustdoc-types':
      Permission Changes:
        Giving user 'rustbot' write permission

@Mark-Simulacrum Mark-Simulacrum added this pull request to the merge queue Jun 22, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jun 22, 2025
@aDotInTheVoid
Copy link
Member Author 

     Running `target/debug/rust-team sync apply --src build`
[INFO  rust_team] no service to synchronize specified, defaulting to all services
[INFO  sync_team] synchronizing github
[ERROR rust_team] failed: failed to retrieve repo `rust-lang/rust-lang.github.io`
[ERROR rust_team] caused by: graphql error: API rate limit exceeded for user ID 53090244.

seems spurious.

@Kobzol
Copy link
Member

Kobzol commented Jun 23, 2025

Yeah, too many merged PRs in the past few hours 😆

@jackh726 jackh726 added this pull request to the merge queue Jul 24, 2025
Merged via the queue into rust-lang:master with commit 123624f Jul 24, 2025
3 checks passed
@aDotInTheVoid aDotInTheVoid deleted the triagbotjson branch July 25, 2025 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Mark-Simulacrum Mark-Simulacrum Mark-Simulacrum approved these changes

+1 more reviewer

@GuillaumeGomez GuillaumeGomez GuillaumeGomez approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@aDotInTheVoid @Kobzol @GuillaumeGomez @Mark-Simulacrum @jackh726