Skip to content

Conversation

@puremourning
Copy link
Member

@puremourning puremourning commented Oct 16, 2025

This change is Reviewable

Copy link
Member Author

@puremourning puremourning left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewable status: 0 of 2 LGTMs obtained (and 1 stale)

Copy link
Member Author

@puremourning puremourning left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@puremourning reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: 0 of 2 LGTMs obtained (and 1 stale) (waiting on @puremourning)

@puremourning puremourning added the Ship It! Manual override to merge a PR by maintainer label Oct 23, 2025
@mergify
Copy link
Contributor

mergify bot commented Oct 23, 2025

Thanks for sending a PR!

@mergify mergify bot added the queued label Oct 23, 2025
mergify bot added a commit that referenced this pull request Oct 23, 2025
Copy link
Member Author

@puremourning puremourning left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewable status: 1 of 2 LGTMs obtained (waiting on @puremourning)

@puremourning puremourning merged commit 7895484 into ycm-core:master Oct 23, 2025
8 of 11 checks passed
@puremourning puremourning deleted the update-jedi branch October 23, 2025 21:44
@mergify mergify bot added dequeued and removed queued labels Oct 23, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dequeued Ship It! Manual override to merge a PR by maintainer

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant