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

Update TODO Tree extension settings and highlights #229

Merged
merged 1 commit into from
Apr 2, 2024

Conversation

Byrdman32
Copy link
Member

Updates the settings and highlights for the TODO Tree extension. It adds exclusion globs for CONTRIBUTING.md file, and modifies the tags and custom highlights to include different variations of TODO, BUG, HACK, FIXME, LEAD, ISSUE NOTE, and TEST.

The commit updates the settings and highlights for the TODO Tree extension. It adds exclusion globs for CONTRIBUTING.md file, and modifies the tags and custom highlights to include different variations of TODO, BUG, HACK, FIXME, LEAD, ISSUE NOTE, and TEST.
@Byrdman32 Byrdman32 added documentation Issues related to improving, updating, or creating documentation for the project. enhancement Requests for new features or improvements to existing features. 1-Star Indicates a very easy task or challenge, suitable for beginners with minimal effort required. formatting Issues related to code formatting, style enforcement, or linting tasks. dev-environment Issues or enhancements related to setting up or maintaining the development environment. labels Apr 2, 2024
@Byrdman32 Byrdman32 added this to the URC 2024 - Sprint 3 milestone Apr 2, 2024
@Byrdman32 Byrdman32 self-assigned this Apr 2, 2024
@Byrdman32 Byrdman32 requested a review from a team as a code owner April 2, 2024 01:55
@Byrdman32 Byrdman32 merged commit 97ce2be into development Apr 2, 2024
7 checks passed
@Byrdman32 Byrdman32 deleted the topic/dev-enviroment-updates branch April 2, 2024 02:14
MRDT-Software pushed a commit that referenced this pull request May 14, 2024
Update TODO Tree extension settings and highlights
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1-Star Indicates a very easy task or challenge, suitable for beginners with minimal effort required. dev-environment Issues or enhancements related to setting up or maintaining the development environment. documentation Issues related to improving, updating, or creating documentation for the project. enhancement Requests for new features or improvements to existing features. formatting Issues related to code formatting, style enforcement, or linting tasks.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants