Skip to content

🏷️ Manually update types for pr:comment:edited#7

Merged
NatoBoram merged 1 commit intomainfrom
feature/PRCommentEdited
Sep 27, 2024
Merged

🏷️ Manually update types for `pr:comment:edited`#7
NatoBoram merged 1 commit intomainfrom
feature/PRCommentEdited

Commits

Commits on Sep 27, 2024