Skip to content

ci: add workflow to automate the release PR to zed-industries/extensions#160

Open
mrm007 wants to merge 5 commits intobiomejs:mainfrom
mrm007:main
Open

ci: add workflow to automate the release PR to zed-industries/extensions#160
mrm007 wants to merge 5 commits intobiomejs:mainfrom
mrm007:main

Conversation

@mrm007
Copy link
Copy Markdown

@mrm007 mrm007 commented Oct 30, 2025

Fixes #157.

I have combined the instructions from the GitHub Action with workflow inputs so the release can be deployed from any fork, without manually changing the workflow every time.

A COMMITTER_TOKEN personal access token needs to be created with "repo" & "workflow" scopes.

This is what running the action will look like:

image

@mrm007 mrm007 changed the title Add workflow to automate the release PR to zed-industries/extensions chore: add workflow to automate the release PR to zed-industries/extensions Oct 30, 2025
@mrm007 mrm007 changed the title chore: add workflow to automate the release PR to zed-industries/extensions ci: add workflow to automate the release PR to zed-industries/extensions Oct 30, 2025
@ematipico
Copy link
Copy Markdown
Member

So, if I understand correctly, we need a fork of zed-industries/extensions somewhere.

Should we have a fork in the biomejs/* org at this point? Also, one thing that isn't clear from the GitHub action is who creates the automated pull request to the Zed Industries repository.

If that's the creator of the github action, it doesn't feel right

@mrm007
Copy link
Copy Markdown
Author

mrm007 commented Dec 17, 2025

@ematipico The owner of the COMMITTER_TOKEN will be the author of commits and PRs. I have manually reviewed the code in the repo to confirm, and used AI to double check: https://ampcode.com/threads/T-019b2cb1-9980-747d-b926-b49b2272f7f3#message-1-block-1 (expand the Librarian section to see details).

There are many Zed extensions using the GitHub action, e.g. joshuadavidthomas/zed-django#10 and the result zed-industries/extensions#3691.

I made the action runnable with any fork for convenience. But after reviewing the code it seems like the COMMITTER_TOKEN needs "repo" & "workflow" scopes on the fork repo as well. So your suggestion to create a permanent fork in the biomejs org makes sense. Happy to update the code once the repo is created (see following comments).

Comment on lines +5 to +9
inputs:
forked_repo:
description: "The forked repository of the zed-industries/extensions repo e.g. mrm007/extensions"
required: true
type: string
Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
inputs:
forked_repo:
description: "The forked repository of the zed-industries/extensions repo e.g. mrm007/extensions"
required: true
type: string

Remove once the biomejs/zed-extensions repo is created (name pending).

with:
extension-name: biome-zed
# extension-path: extensions/${{ extension-name }}
push-to: ${{ inputs.forked_repo }}
Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
push-to: ${{ inputs.forked_repo }}
push-to: biomejs/zed-extensions

Update once the biomejs/zed-extensions repo is created (name pending).

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.

Automate release PR to zed-industries/extensions

2 participants