Skip to content

Clarify limitations of rename#3113

Merged
andyw8 merged 1 commit intomainfrom
andyw8/clarify-rename-docs
Jan 30, 2025
Merged

Clarify limitations of rename#3113
andyw8 merged 1 commit intomainfrom
andyw8/clarify-rename-docs

Conversation

@andyw8
Copy link
Contributor

@andyw8 andyw8 commented Jan 30, 2025

See #3111

@andyw8 andyw8 requested a review from a team as a code owner January 30, 2025 15:25
@graphite-app
Copy link

graphite-app bot commented Jan 30, 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 chore Chore task documentation Improvements or additions to documentation labels Jan 30, 2025
@andyw8 andyw8 force-pushed the andyw8/clarify-rename-docs branch from c360c06 to 9a70bcd Compare January 30, 2025 15:28
@andyw8 andyw8 enabled auto-merge (squash) January 30, 2025 16:33
@andyw8 andyw8 merged commit 0e0120c into main Jan 30, 2025
42 checks passed
@andyw8 andyw8 deleted the andyw8/clarify-rename-docs branch January 30, 2025 16:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Chore task documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments