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
Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

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

wants to merge 1 commit into from

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
Contributor

Kobzol commented Jun 23, 2025

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

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

@GuillaumeGomez GuillaumeGomez GuillaumeGomez approved these changes

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

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@aDotInTheVoid @Kobzol @GuillaumeGomez @Mark-Simulacrum