Skip to content

Rename close hook as terminate hook#83

Merged
jeremy-clerc merged 1 commit into
mainfrom
rename_close_terminate
Mar 4, 2026
Merged

Rename close hook as terminate hook#83
jeremy-clerc merged 1 commit into
mainfrom
rename_close_terminate

Conversation

@jeremy-clerc
Copy link
Copy Markdown
Contributor

It has been decided that terminate had a better explanatory intent.

It has been decided that terminate had a better explanatory intent.
@jeremy-clerc jeremy-clerc merged commit a39890d into main Mar 4, 2026
2 checks passed
@jeremy-clerc jeremy-clerc deleted the rename_close_terminate branch March 4, 2026 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant