Skip to content

Conversation

@mongodb-devtools-bot
Copy link
Contributor

  • Update electron

@mongodb-devtools-bot mongodb-devtools-bot bot requested a review from a team as a code owner August 7, 2025 00:26
@mongodb-devtools-bot mongodb-devtools-bot bot added the no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion) label Aug 7, 2025
@mongodb-devtools-bot mongodb-devtools-bot bot force-pushed the ci/update-electron branch 3 times, most recently from 612e30f to 957c2b6 Compare August 10, 2025 00:28
@gribnoysup gribnoysup merged commit d7a1c27 into main Aug 11, 2025
31 of 33 checks passed
@gribnoysup gribnoysup deleted the ci/update-electron branch August 11, 2025 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-title-validation Skips validation of PR titles (conventional commit adherence + JIRA ticket inclusion)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants