Closed rohrig closed 1 year ago
this is also done with #31 . You can review it. @rohrig :D
Hey @faizanarif121 in your PRs, you're right, thanks. For the future, I think it might be possible to automate this if the PR description is updated to close multiple tickets at once.
example: closes #25 #31
and I think it will close automatically when the PR is merged. Thanks 😄
Follow up to #25