chore(shell): remove devtree helper #27

Merged
alexion merged 1 commits from chore/remove-devtree into main 2026-09-08 15:41:15 -04:00
Owner

Summary

  • Remove the Fish devtree helper.
  • Remove the helper from the shell function registry.

Validation

  • Ran git diff --check before committing.
  • Confirmed /home/alexion/worktrees was removed.
## Summary - Remove the Fish `devtree` helper. - Remove the helper from the shell function registry. ## Validation - Ran `git diff --check` before committing. - Confirmed `/home/alexion/worktrees` was removed.
alexion added 1 commit 2026-09-08 15:41:02 -04:00
alexion merged commit 9cac3efe21 into main 2026-09-08 15:41:15 -04:00
alexion deleted branch chore/remove-devtree 2026-09-08 15:41:15 -04:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: alexion/dev#27