|  | Commit message (Collapse) | Author | Lines | 
|---|
|  | A user may manage to send multiple message that violate filters before
the mute is applied. Because of a race condition, subsequent punish
attempts did not detect the mute role exists and therefore proceeded
to apply another mute.
To avoid the race condition, abort any subsequent punish attempts while
one is already ongoing for a given user. It could be possible to wait
instead of abort, but the first attempt failing very likely means
subsequent attempts would fail too.
Fixes #902 | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | GITHUB_TOKEN has now enough permissions to be used for pushing to GHCR, so we don't need PAT anymore. | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | Co-authored-by: Mark <[email protected]> | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | Co-authored-by: Shivansh-007 <[email protected]> | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  | Co-authored-by: Shivansh-007 <[email protected]>
Co-authored-by: Joe Banks <[email protected]> | 
|  | No code changes in this commit.
Co-authored-by: Shivansh-007 <[email protected]>
Co-authored-by: Joe Banks <[email protected]> | 
|  | With the branding-side PR merged, we can now target the production
branch. | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
|  |  |