Matrix user being half-banned causes IRC->Matrix messages to be dropped

[progval]

I noticed yesterday that messages in #swh-devel on Libera were not bridged to its plumbed room (#swh-devel:matrix.org)

I am guessing this is because a Matrix puppet was disconnected from Libera for spam:

2022-09-06 14:24:59 --> liebebtc[m] (@liebebtc:matrix.org) (~liebebtcm@2001:470:69fc:105::2:79a8) has joined #swh-devel
2022-09-06 17:22:06 <-- liebebtc[m] (~liebebtcm@2001:470:69fc:105::2:79a8) has quit (Quit: User was banned)

but it remained in the room for longer, as it was only kicked on 2022-09-07 12:25:30:

{
  "content": {
    "membership": "leave",
    "reason": "You are banned: spam",
    "avatar_url": "mxc://matrix.org/PBxZUPAouEOjFpwBxqGfYwsT",
    "displayname": "liebebtc"
  },
  "origin_server_ts": 1662553530777,
  "sender": "@appservice:libera.chat",
  "state_key": "@liebebtc:matrix.org",
  "type": "m.room.member",
  "unsigned": {
    "replaces_state": "$B2MHLGHJeMosYeeTNQNpuZsegGXQ3NinerT0ZgUReg4",
    "prev_content": {
      "avatar_url": "mxc://matrix.org/PBxZUPAouEOjFpwBxqGfYwsT",
      "displayname": "liebebtc",
      "membership": "join"
    },
    "prev_sender": "@liebebtc:matrix.org"
  },
  "event_id": "$dnOzH_10lc6XbmTObwc6NKAPLKAVDY5zr_hq1MyZtRc",
  "room_id": "!kbhuPLiYCgQEvOAqfx:matrix.org"
}

As soon as someone on IRC sent something (at 2022-09-08 09:51:37), the bridge started working again in that channel