Skip to content
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

[READY] Upgrade completers #1745

Merged
merged 1 commit into from
Jun 13, 2024
Merged

Conversation

bstaletic
Copy link
Collaborator

@bstaletic bstaletic commented Jun 12, 2024

  • JDT v1.35.0
  • R-A 2024-06-11
  • TSServer 5.4.5
  • Gopls 0.15.3

This change is Reviewable

Copy link
Member

@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.

Reviewed 5 of 5 files at r1, all commit messages.
Reviewable status: 0 of 2 LGTMs obtained (waiting on @bstaletic)

Copy link
Member

@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 @bstaletic)

@bstaletic bstaletic force-pushed the completer-updates branch from 9437c00 to 69f9025 Compare June 12, 2024 12:21
- JDT v1.31.0
- R-A 2024-06-11
- TSServer 5.4.5
- Gopls 0.15.3
@bstaletic bstaletic added the Ship It! Manual override to merge a PR by maintainer label Jun 13, 2024
Copy link
Contributor

mergify bot commented Jun 13, 2024

Thanks for sending a PR!

@mergify mergify bot merged commit 03b2c82 into ycm-core:master Jun 13, 2024
14 of 15 checks passed
@bstaletic bstaletic deleted the completer-updates branch June 13, 2024 08:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Ship It! Manual override to merge a PR by maintainer
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants