Skip to content
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

keys: add key for @juanarbol #1856

Merged
merged 1 commit into from
Mar 4, 2023
Merged

keys: add key for @juanarbol #1856

merged 1 commit into from
Mar 4, 2023

Conversation

juanarbol
Copy link
Member

@juanarbol juanarbol mentioned this pull request Mar 3, 2023
Closed
6 tasks
@SimenB SimenB merged commit 497ea85 into nodejs:main Mar 4, 2023
@nschonni
Copy link
Member

nschonni commented Mar 7, 2023

Note to the docker folks, that we might have the issues again with the next 18 release PR today because it might pick up key changes for unchanged versions. Might need to do some manual PRs

@SimenB
Copy link
Member

SimenB commented Mar 7, 2023 •
edited
Loading

I'm looking forward to fixed scripts that only looks at changed node version and nothing else 😅 (#1788 🤞)

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

@SimenB SimenB SimenB approved these changes

@RafaelGSS RafaelGSS RafaelGSS approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@juanarbol @nschonni @SimenB @RafaelGSS