Open
Description
Currently the label names handled by the shortcut command are hardcoded:
triagebot/src/handlers/shortcut.rs
Lines 29 to 31 in a2ae093
That would enforce other repos to use the exact same names, but that restriction shouldn't be necessary and we should be able to change them as we want.