You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
CI: remove ":" from close-the-issue bot label names
The bot to mark Github issues as stale and/or close them does not
properly handle when labels contain ":". After removing ":" from the
label name on Github, update the corresponding Github Actions here to
match the new label names.
Signed-off-by: Jeff Squyres <jeff@squyres.com>
0 commit comments