Skip to content

Conversation

vinistock
Copy link
Member

@vinistock vinistock commented Jun 16, 2025

Motivation

Enough time has passed and the upgrades must have rolled out already. This PR removes support for the old port file, which has been replaced with the JSON DB.

Copy link
Member Author


How to use the Graphite Merge Queue

Add the label graphite-merge to this PR to add it to the merge queue.

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

This stack of pull requests is managed by Graphite. Learn more about stacking.

@vinistock vinistock self-assigned this Jun 16, 2025
@vinistock vinistock added the chore Chore task label Jun 16, 2025 — with Graphite App
@vinistock vinistock marked this pull request as ready for review June 16, 2025 15:30
@vinistock vinistock requested a review from a team as a code owner June 16, 2025 15:30
Copy link

graphite-app bot commented Jun 16, 2025

Merge activity

  • Jun 16, 4:29 PM UTC: vinistock added this pull request to the Graphite merge queue.
  • Jun 16, 5:02 PM UTC: The Graphite merge queue couldn't merge this PR because it was not satisfying all requirements (Failed CI: 'Ruby 3.3 on windows-latest').

### Motivation

Enough time has passed and the upgrades must have rolled out already. This PR removes support for the old port file, which has been replaced with the JSON DB.
@graphite-app graphite-app bot force-pushed the 06-16-remove_legacy_port_file_from_lsp_reporter branch from 87de289 to 3976afb Compare June 16, 2025 16:30
@vinistock vinistock enabled auto-merge (squash) June 17, 2025 17:40
@vinistock vinistock merged commit d0ffc24 into main Jun 17, 2025
51 of 52 checks passed
@vinistock vinistock deleted the 06-16-remove_legacy_port_file_from_lsp_reporter branch June 17, 2025 18:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Chore task
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants