WIP: Ban improvements #2428

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Draft

QuiCM wants to merge 3 commits into general-devel from ban-improvements

Member

QuiCM commented Aug 16, 2021

Improvements based on #2427

Make offline banning easier
Consider how to group ban tickets in a nicer fashion
Provide better info when attempting to ban an already banned identifier
Minor QoL adjustments

QuiCM added 2 commits

August 16, 2021 23:03


          Add cleaner colouring of text

f230c75


          All of commands now uses Highlight

5e47796

pull-request-size bot added the size/L label


          Initial offline ban mess/design

b6c339e

hakusaro marked this pull request as draft

October 18, 2022 01:09

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels