If a user is assigned using the GitHub UI, they shouldn't be unassigned by zulipbot, but that's what happened for https://github.com/zulip/zulip/pull/15416 where I had assigned myself 5 days prior to being automatically removed with the other contributor.
If a user is assigned using the GitHub UI, they shouldn't be unassigned by zulipbot, but that's what happened for https://github.com/zulip/zulip/pull/15416 where I had assigned myself 5 days prior to being automatically removed with the other contributor.
We can use https://chat.zulip.org/#narrow/stream/105-zulipbot/topic/removing.20all.20assignees for discussion.