search

zulip / zulipbot

GitHub workflow-optimizing bot by @zulip
Other
84 stars 65 forks source link

Block issues from being claimed that are already closed #195

Open timabbott opened 3 years ago

timabbott commented 3 years ago

See https://github.com/zulip/zulip/issues/13480#issuecomment-823023758 for an example.