Skip to content

[REFACTOR] Moved files, removed a lot of useless types#33

Merged
DrKJeff16 merged 4 commits into
mainfrom
patch/declutter
Aug 2, 2025
Merged

[REFACTOR] Moved files, removed a lot of useless types#33
DrKJeff16 merged 4 commits into
mainfrom
patch/declutter

Conversation

@DrKJeff16
Copy link
Copy Markdown
Owner

@DrKJeff16 DrKJeff16 commented Aug 2, 2025

Changes

  • Moved all submodules at lua/types/wezterm/* to their appropriate submodule (a46cd89)
  • Removed all (semi-)useless types (b228126) (@craigmac this was painfully tedious, but no regrets at all)
  • Moved types/config/init.lua to types/config.lua (2938f78)
  • CODEOWNERS fixes (a6f8ba7)

Reasoning

wezterm/wezterm#7121 (comment) , pretty much

@DrKJeff16 DrKJeff16 added documentation Improvements or additions to documentation enhancement New feature or request help wanted Extra attention is needed labels Aug 2, 2025
@DrKJeff16 DrKJeff16 changed the title Moved files, removed a lot of useless types [REFACTOR] Moved files, removed a lot of useless types Aug 2, 2025
@DrKJeff16 DrKJeff16 removed the help wanted Extra attention is needed label Aug 2, 2025
@DrKJeff16 DrKJeff16 mentioned this pull request Aug 2, 2025
@DrKJeff16 DrKJeff16 merged commit 1691296 into DrKJeff16:main Aug 2, 2025
2 checks passed
@DrKJeff16 DrKJeff16 deleted the patch/declutter branch August 2, 2025 22:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants