Rename src/commands/dependencies to src/commands/services #21

Merged
EatOreo merged 1 commit from refactor/rename-command-services into main 2026-10-09 12:53:13 +02:00
Owner

Pure rename of the VS Code collaborator directory to avoid clashing with the new src/dependencies module. No behaviour change.

Pure rename of the VS Code collaborator directory to avoid clashing with the new src/dependencies module. No behaviour change.
Rename src/commands/dependencies to src/commands/services
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 50s
Extension / Format, types, lint, extension tests (pull_request) Successful in 1m43s
3a40bcbc25
The concrete VS Code collaborators are services, and the old name would
clash with the new toolchain src/dependencies/ module.
marfavi changed title from WIP: Rename src/commands/dependencies to src/commands/services to Rename src/commands/dependencies to src/commands/services 2026-10-09 12:51:08 +02:00
marfavi force-pushed refactor/rename-command-services from 3a40bcbc25
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 50s
Extension / Format, types, lint, extension tests (pull_request) Successful in 1m43s
to f618c69582
All checks were successful
Grammar / Corpus and binding tests (pull_request) Successful in 41s
Extension / Format, types, lint, extension tests (pull_request) Successful in 1m37s
2026-10-09 12:51:45 +02:00
Compare
EatOreo approved these changes 2026-10-09 12:52:37 +02:00
EatOreo deleted branch refactor/rename-command-services 2026-10-09 12:53:13 +02:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
code2rocq/crocq!21
No description provided.