Skip to content

Sync Linux packages with servo/servo (97b7f86)#207

Closed
jschwe wants to merge 1 commit intoservo:mainfrom
servo-bot:linux_pkgs_sync_97b7f8623e73eb522f78124450c0ff350dae84d1
Closed

Sync Linux packages with servo/servo (97b7f86)#207
jschwe wants to merge 1 commit intoservo:mainfrom
servo-bot:linux_pkgs_sync_97b7f8623e73eb522f78124450c0ff350dae84d1

Conversation

@jschwe
Copy link
Copy Markdown
Member

@jschwe jschwe commented Feb 25, 2026

Update dependency list based on 97b7f86

@jschwe jschwe marked this pull request as draft February 25, 2026 07:56
@jschwe
Copy link
Copy Markdown
Member Author

jschwe commented Feb 25, 2026

Don't merge, this was created as part of testing servo/servo#42063

@jschwe jschwe closed this Mar 7, 2026
github-merge-queue Bot pushed a commit to servo/servo that referenced this pull request Mar 9, 2026
Follow-up to #41775
This allows syncing our package list to the book automatically, keeping
the documented required packages in sync with what bootstrap installs.

We use two personal access token of the `servo-bot` account. One PAT
with the Resource-owner `servo-bot` for the repository `servo-bot/book`,
to push the branch to the bots fork. This PAT should be created with the
following permissions:
Choose "Only select repositories", select the forked book repo and give
the token Contents: Read and write permissions.
The second PAT must have the resource owner `servo`, and access to the
repository `servo/servo` as well as the permissions "Pull-Request: Read
and Write".

This split has the advantag of limiting the PAT permissions for the
upstream repo, avoiding `Content: Write` permissions for the
`servo/book` repository.

Testing: Manually tested by letting the action run on this branch.
[successfull
run](https://github.com/servo/servo/actions/runs/22387422307/job/64800999782?pr=42063),
[created upstream PR](servo/book#207)

---------

Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
Signed-off-by: Jonathan Schwender <55576758+jschwe@users.noreply.github.com>
Co-authored-by: shuppy <dazabani@igalia.com>
github-merge-queue Bot pushed a commit to servo/servo that referenced this pull request Mar 9, 2026
Follow-up to #41775
This allows syncing our package list to the book automatically, keeping
the documented required packages in sync with what bootstrap installs.

We use two personal access token of the `servo-bot` account. One PAT
with the Resource-owner `servo-bot` for the repository `servo-bot/book`,
to push the branch to the bots fork. This PAT should be created with the
following permissions:
Choose "Only select repositories", select the forked book repo and give
the token Contents: Read and write permissions.
The second PAT must have the resource owner `servo`, and access to the
repository `servo/servo` as well as the permissions "Pull-Request: Read
and Write".

This split has the advantag of limiting the PAT permissions for the
upstream repo, avoiding `Content: Write` permissions for the
`servo/book` repository.

Testing: Manually tested by letting the action run on this branch.
[successfull
run](https://github.com/servo/servo/actions/runs/22387422307/job/64800999782?pr=42063),
[created upstream PR](servo/book#207)

---------

Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
Signed-off-by: Jonathan Schwender <55576758+jschwe@users.noreply.github.com>
Co-authored-by: shuppy <dazabani@igalia.com>
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