Skip to content

[Chore]: open PR into code-server-aur on publish #5366

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
Closed
jsjoeio opened this issue Jul 21, 2022 · 1 comment · Fixed by #5462
Closed

[Chore]: open PR into code-server-aur on publish #5366

jsjoeio opened this issue Jul 21, 2022 · 1 comment · Fixed by #5462
Assignees
@jsjoeio
Labels
chore Related to maintenance or clean up enhancement Some improvement that isn't a feature
Milestone
August 2022

Comments

@jsjoeio
Copy link
Contributor

jsjoeio commented Jul 21, 2022 •
edited
Loading

What is your suggestion?

On publish after npm package, open PR to update https://github.com/coder/code-server-aur

Why do you want this feature?

To save us some time and make it easier to update code-server on AUR

Are there any workarounds to get this functionality today?

Manually doing it.

Are you interested in submitting a PR for this?

Yes

Related:
@jsjoeio jsjoeio added enhancement Some improvement that isn't a feature chore Related to maintenance or clean up labels Jul 21, 2022
@jsjoeio jsjoeio added this to the July 2022 milestone Jul 21, 2022
@jsjoeio jsjoeio self-assigned this Jul 21, 2022
@jsjoeio
Copy link
Contributor Author

jsjoeio commented Aug 10, 2022

Notes

  • go with same approach as the brew PR thingy (using the cdr bot account)
  • i'll use the gh CLI since it's in actions
  • i'll add it as a job to ci.yaml (temporarily) to make it easy to test
  • i'll probably need to update my script

@jsjoeio jsjoeio modified the milestones: v4.5.2, August 2022 Aug 15, 2022
This was referenced Aug 16, 2022
Merged
Merged
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jsjoeio jsjoeio

Labels
chore Related to maintenance or clean up enhancement Some improvement that isn't a feature
Projects
None yet
Milestone
August 2022
Development

Successfully merging a pull request may close this issue.

feat(ci): semi-automate code-server-aur update coder/code-server
1 participant
@jsjoeio