Skip to content

chore: remove external/* - #217

Merged
kshku merged 1 commit into
devfrom
chore/remove-submodules
Jun 10, 2026
Merged

chore: remove external/*#217
kshku merged 1 commit into
devfrom
chore/remove-submodules

Conversation

@kshku

@kshku kshku commented Jun 10, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

What does this PR do?

Type of change

  • feat — new feature
  • fix — bug fix
  • docs — documentation
  • refactor — no behavior change
  • chore — build / tooling
  • perf — performance
  • test — tests only

Checklist

  • Branch cut from dev
  • Builds without warnings (-Wall -Wextra)
  • Existing test files still pass
  • New behavior covered by a test file in tests/
  • Commits follow conventional commit format

Anything reviewers should know?

@kshku kshku self-assigned this Jun 10, 2026
@kshku kshku added the chore Build, tooling label Jun 10, 2026
@kshku
kshku merged commit e989f6a into dev Jun 10, 2026
5 checks passed
@kshku
kshku deleted the chore/remove-submodules branch June 10, 2026 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@kshku kshku

Labels

chore Build, tooling

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@kshku