Skip to content

Add @ojeda to goal-owners#2266

Merged
jieyouxu merged 1 commit intorust-lang:mainfrom
tomassedovic:miguel-ojeda-goal-owner
Feb 25, 2026
Merged

Add @ojeda to goal-owners#2266
jieyouxu merged 1 commit intorust-lang:mainfrom
tomassedovic:miguel-ojeda-goal-owner

Conversation

@tomassedovic
Copy link
Contributor

Miguel Ojeda is the lead for the Rust for Linux project and while I'm the point of contact, he should be able to write send updates or make corrections.

Miguel Ojeda is the lead for the Rust for Linux project and while I'm
the point of contact, he should be able to write send updates or make
corrections.
@jieyouxu jieyouxu added needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin. labels Feb 25, 2026
@jieyouxu jieyouxu added this pull request to the merge queue Feb 25, 2026
@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] 💻 Team Diffs:
    📝 Editing team 'rust-lang/goal-owners':
      Adding member 'ojeda' with member role
    💻 Repo Diffs:
    📝 Editing repo 'rust-lang/bors':
      Rulesets:
          Ruleset for main
            No changes

Merged via the queue into rust-lang:main with commit 6658397 Feb 25, 2026
3 checks passed
@ojeda
Copy link
Contributor

ojeda commented Feb 25, 2026

Thanks @tomassedovic!

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

Labels

needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants