chore(rtx): add lefthook plugin #12

Merged
joao.dubas merged 1 commits from jpd/rtx/add-lefthook-plugin into main 2023-11-07 10:47:32 +00:00
Owner

lefthook is a githook manager for any project.

[`lefthook`][0] is a githook manager for any project. [0]: https://github.com/evilmartians/lefthook
joao.dubas added 1 commit 2023-11-07 10:47:12 +00:00
[`lefthook`][0] is a githook manager for any project.

[0]: https://github.com/evilmartians/lefthook
joao.dubas merged commit a8e07e47d0 into main 2023-11-07 10:47:32 +00:00
joao.dubas deleted branch jpd/rtx/add-lefthook-plugin 2023-11-07 10:47:32 +00: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: joao.dubas/ide#12
No description provided.