Skip to content

Track gll repository #2180

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
marcoieni merged 1 commit into from
Dec 12, 2025
Merged

Track gll repository #2180

marcoieni merged 1 commit into from
Dec 12, 2025
+9 −0

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Dec 12, 2025 •
edited
Loading

This is the last repository that still isn't tracked by team. We wanted to archive it (rust-lang/gll#145), but @eddyb asked us to move it back under the LykenSol organization instead.

We should finally do either of those, to unblock #2149.

@Kobzol Kobzol mentioned this pull request Dec 12, 2025
Open
@jieyouxu jieyouxu added needs-infra-admin-review This change requires one of the `infra-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 Dec 12, 2025
@github-actions
Copy link

github-actions bot commented Dec 12, 2025

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/gll':
      Remove homepage: ''
      Enable auto-merge
      Permission Changes:
        Removing user 'eddyb''s admin permission 
      Branch Protections:
          master
            Required Checks: ["Travis CI - Pull Request"] => []

@marcoieni marcoieni added this pull request to the merge queue Dec 12, 2025
Merged via the queue into rust-lang:main with commit b77195d Dec 12, 2025
3 checks passed
@Kobzol Kobzol deleted the repo-gll branch December 12, 2025 12:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@marcoieni marcoieni marcoieni approved these changes

Assignees

No one assigned

Labels

needs-infra-admin-review This change requires one of the `infra-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

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@Kobzol @marcoieni @jieyouxu