mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-09-30 23:22:26 +08:00
Update label names used by bots (#11650)
This commit is contained in:
1 parent
9102941997
commit
87900248b0
2 files changed
+2
-2
No files matched your search
@@ -33,7 +33,7 @@ from termcolor import colored
|
||||
TYPESHED_OWNER = "python"
|
||||
TYPESHED_API_URL = f"https://api.github.com/repos/{TYPESHED_OWNER}/typeshed"
|
||||
|
||||
STUBSABOT_LABEL = "stubsabot"
|
||||
STUBSABOT_LABEL = "bot: stubsabot"
|
||||
|
||||
|
||||
class ActionLevel(enum.IntEnum):
|
||||
|
||||
Reference in new issue
Block a user