-
Notifications
You must be signed in to change notification settings - Fork 80
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.
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
Add auto-merge for nodenv-bot
PRs
#738
Comments
I can ask junior developers to create PR for that if you want |
PR - #740 |
The main concern I have with auto-merging is that node-build has a high degree of power on user's machines. Each build definition is essentially a bash script being executed. Before we have any automatic merging, we should have additional safeguards in place (probably extra CI suites), that ensure each build definition is only invoking our functions and is only fetching from expected sites (both could be checked against allowlists). If we get this additional CI check in place, such that it is optional on PRs (shouldn't prevent manual PR merges), yet required for auto-merging, then I would be more inclined to land an automerge setup. |
PR - #756 |
nodenv/node-build#738 nodenv/node-build#823 is not yet merged #1076 will be passed since this commit
On new Node.js version release
nodenv-bot
bot sends PR like #736It could take a few days to merge it.
It will be very nice to add CI script to merge green PRs from
nodenv-bot
automatically.The text was updated successfully, but these errors were encountered: