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

Clarify status item for server version #3209

Merged
merged 1 commit into from
Feb 20, 2025
Merged

Conversation

andyw8
Copy link
Contributor

@andyw8 andyw8 commented Feb 18, 2025

To better distinguish the extension and server versions.

@andyw8 andyw8 added the chore Chore task label Feb 18, 2025
@andyw8 andyw8 requested a review from a team as a code owner February 18, 2025 18:18
Copy link

graphite-app bot commented Feb 18, 2025

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.

@andyw8 andyw8 added the graphite-merge Ship this PR using Graphite's merge queue label Feb 18, 2025
Copy link
Contributor Author

andyw8 commented Feb 18, 2025

Merge activity

  • Feb 18, 3:31 PM EST: The merge label 'graphite-merge' was detected. This PR will be added to the Graphite merge queue once it meets the requirements.
  • Feb 20, 5:27 PM EST: A user added this pull request to the Graphite merge queue.
  • Feb 20, 6:18 PM EST: A user merged this pull request with the Graphite merge queue.

To better distinguish the extension and server versions.
@graphite-app graphite-app bot force-pushed the andyw8/server-status-item branch from e6a1f19 to 4bbed1b Compare February 20, 2025 22:51
@graphite-app graphite-app bot merged commit 4bbed1b into main Feb 20, 2025
42 checks passed
@graphite-app graphite-app bot deleted the andyw8/server-status-item branch February 20, 2025 23:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Chore task graphite-merge Ship this PR using Graphite's merge queue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants