Skip to content

missed a spot when removing the "IDE" terminology - #352

Merged
DetachHead merged 1 commit into
masterfrom
oops
Sep 14, 2026
Merged

DetachHead merged 1 commit into
masterfrom
oops

Conversation

@DetachHead

Copy link
Copy Markdown
Owner

i know there are plenty of other ones i missed too, but to minimize upstream conflicts i'm only touching the ones i personally notice when using rebased since there's a good chance a lot of them aren't actually reachable in rebased

i know there are plenty of other ones i missed too, but to minimize upstream conflicts i'm only touching the ones i personally notice when using rebased since there's a good chance a lot of them aren't actually reachable in rebased
@DetachHead
DetachHead merged commit d5f15c9 into master Sep 14, 2026
5 checks passed
@DetachHead
DetachHead deleted the oops branch September 14, 2026 15:07
DetachHead added a commit that referenced this pull request Sep 14, 2026
i know there are plenty of other ones i missed too, but to minimize upstream conflicts i'm only touching the ones i personally notice since there's a good chance a lot of them aren't actually reachable in rebased

Co-authored-by: detachhead <detachhead@users.noreply.github.com>
(cherry picked from commit d5f15c9)
DetachHead added a commit that referenced this pull request Sep 16, 2026
i know there are plenty of other ones i missed too, but to minimize upstream conflicts i'm only touching the ones i personally notice since there's a good chance a lot of them aren't actually reachable in rebased

Co-authored-by: detachhead <detachhead@users.noreply.github.com>
(cherry picked from commit d5f15c9)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant