Skip to content

Remove user config file wezterm.lua#31

Merged
DrKJeff16 merged 1 commit into
DrKJeff16:mainfrom
craigmac:main
Aug 2, 2025
Merged

Remove user config file wezterm.lua#31
DrKJeff16 merged 1 commit into
DrKJeff16:mainfrom
craigmac:main

Conversation

@craigmac

Copy link
Copy Markdown
Contributor

This is the user configuration file for WezTerm, it shouldn't be in a 'types' repo.

@craigmac craigmac requested a review from justinsgithub as a code owner July 31, 2025 22:52
@DrKJeff16 DrKJeff16 added the needs-review A PR labeled with this is in need of review label Aug 1, 2025
@DrKJeff16

DrKJeff16 commented Aug 1, 2025

Copy link
Copy Markdown
Owner

This concerns the author.

@justinsgithub what do you think? You put that file in the .gitignore file, though...

@DrKJeff16 DrKJeff16 added help wanted Extra attention is needed good first issue Good for newcomers labels Aug 1, 2025
@DrKJeff16 DrKJeff16 merged commit 0eb6802 into DrKJeff16:main Aug 2, 2025
2 checks passed
@DrKJeff16

Copy link
Copy Markdown
Owner

@justinsgithub Sorry, I've decided to merge this since, for instance, this repo gets cloned as a
Neovim plugin, and other things

@DrKJeff16 DrKJeff16 mentioned this pull request Aug 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

good first issue Good for newcomers help wanted Extra attention is needed needs-review A PR labeled with this is in need of review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants