Skip to content

mongosh 2.5.5 #228993

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

Merged
merged 2 commits into from
Jul 4, 2025
Merged

mongosh 2.5.5 #228993

merged 2 commits into from
Jul 4, 2025

Conversation

addaleax
Copy link
Contributor

@addaleax addaleax commented Jul 3, 2025

Not sure what exactly happened here, but this is a re-do of #228956 / #228958 – the replacement PR was merged, but the commit seems to have been force-pushed out of the master and main branches.

So I'm opening a PR here with that commit from a personal fork, so that the bot can force-push to it – I assume there's more to the story, although I couldn't find any references in the issues/PRs in this repo that would clarify this.

@github-actions github-actions bot added the nodejs Node or npm use is a significant feature of the PR or issue label Jul 3, 2025
@chenrui333
Copy link
Member

So I'm opening a PR here with that commit from a personal fork, so that the bot can force-push to it – I assume there's more to the story, although I couldn't find any references in the issues/PRs in this repo that would clarify this.

there is a label for it (no push access)

@chenrui333
Copy link
Member

Not sure what exactly happened here, but this is a re-do of #228956 / #228958

it was because of the base branch issue (it should be main rather than master branch)

@addaleax
Copy link
Contributor Author

addaleax commented Jul 3, 2025

@chenrui333 Cool, that's good to know – we'll update our automation to create these PRs against main on release 👍

Copy link
Contributor

github-actions bot commented Jul 3, 2025

🤖 An automated task has requested bottles to be published to this PR.

Please do not push to this PR branch before the bottle commits have been pushed, as this results in a state that is difficult to recover from. If you need to resolve a merge conflict, please use a merge commit. Do not force-push to this PR branch.

Copy link
Contributor

github-actions bot commented Jul 3, 2025

⚠️ Bottle publish failed.

@addaleax
Copy link
Contributor Author

addaleax commented Jul 3, 2025

If there's no easy fix for the above (mongosh 2.5.5 bottles already having been built, iiuc), we'll just do another release tomorrow.

@chenrui333 chenrui333 added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Jul 4, 2025
@chenrui333 chenrui333 enabled auto-merge July 4, 2025 00:02
@chenrui333 chenrui333 added the ready to merge PR can be merged once CI is green label Jul 4, 2025
@chenrui333 chenrui333 added this pull request to the merge queue Jul 4, 2025
Merged via the queue into Homebrew:main with commit b2a67aa Jul 4, 2025
15 checks passed
addaleax added a commit to mongodb-js/mongosh that referenced this pull request Jul 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. nodejs Node or npm use is a significant feature of the PR or issue ready to merge PR can be merged once CI is green
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants