Skip to content

Error sync if a private repo is not marked as private in team#2269

Merged
marcoieni merged 1 commit intorust-lang:mainfrom
Kobzol:private
Feb 26, 2026
Merged

Error sync if a private repo is not marked as private in team#2269
marcoieni merged 1 commit intorust-lang:mainfrom
Kobzol:private

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Feb 26, 2026

If a repository is private, we have to properly mark it as such in the team database, because some bots can depend on this.

Note that we cannot check this only in validation, because we could not distinguish private and missing repositories without a privileged auth token (a non-privileged one, such as the one in PR CI, would just see that the repo does not exist).

@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:
          Ruleset for main
            No changes

@marcoieni marcoieni added this pull request to the merge queue Feb 26, 2026
Merged via the queue into rust-lang:main with commit 6257d31 Feb 26, 2026
3 checks passed
@Kobzol Kobzol deleted the private branch February 26, 2026 11:35
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