On new Node.js version release `nodenv-bot` bot sends PR like https://github.com/nodenv/node-build/pull/736 It 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.