Skip to content

exit 1 on error#1631

Open
ronaldklop wants to merge 1 commit intomongodb:masterfrom
ronaldklop:master
Open

exit 1 on error#1631
ronaldklop wants to merge 1 commit intomongodb:masterfrom
ronaldklop:master

Conversation

@ronaldklop
Copy link
Copy Markdown

My build continued after wrong parameters which of course ended up in a harder to correlate failure later in the build. Fail early would have saved me some time debugging.

Anything in this description will be included in the commit message. Replace or delete this text before merging. Add links to testing in the comments of the PR.

My build continued after wrong parameters which of course ended up in a harder to correlate failure later in the build.
Fail early would have saved me some time debugging.
@wolffcm
Copy link
Copy Markdown
Contributor

wolffcm commented Apr 2, 2026

@ronaldklop Hi Ronald, thanks for submitting this PR. Exiting 1 there is definitely an improvement. Before we can accept this contribution, could I trouble you to sign this contributor's agreement?

https://www.mongodb.com/legal/contributor-agreement

Once you sign it, I will merge your change internally. Shortly after it merges, the commit will be mirrored here on mongodb/mongo with attribution to you.

@wolffcm
Copy link
Copy Markdown
Contributor

wolffcm commented Apr 2, 2026

Oops, I see that the contributor agreement has already been signed. I will see that this gets merged in shortly.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants