You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
automatically close each issue associated to a PR (github seems to somewhat do this)
automatically add/update todos/fixmes as github issues if they are merged to main. This can also auto close the issue if the comment was erased and we could even link to the exact commit
The text was updated successfully, but these errors were encountered:
The text was updated successfully, but these errors were encountered: