jenkins-bot has submitted this change and it was merged.
Change subject: Make local- part of project name optional
......................................................................
Make local- part of project name optional
This allows Tools project owners to use
!log projectname log message
instead of
!log local-projectname log message
Change-Id: I15c78d28ae13663639001afa0f877b3b923e0d37
---
M adminlogbot.py
1 file changed, 11 insertions(+), 8 deletions(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/adminlogbot.py b/adminlogbot.py
index 6a6cd8c..dfa46b1 100755
--- a/adminlogbot.py
+++ b/adminlogbot.py
@@ -224,14 +224,17 @@
logging.debug("Server connection error"
" when sending message")
if project not in projects:
- try:
- self.connection.privmsg(event.target(),
- project +
- " is not a valid project.")
- except irclib.ServerNotConnectedError, e:
- logging.debug("Server connection error"
- " when sending message")
- return
+ if "local-" + project in projects:
+ project = "local-" + project
+ else:
+ try:
+ self.connection.privmsg(event.target(),
+ project +
+ " is not a valid project.")
+ except irclib.ServerNotConnectedError, e:
+ logging.debug("Server connection error"
+ " when sending message")
+ return
message = arr[2]
else:
arr = line.split(" ", 1)
--
To view, visit https://gerrit.wikimedia.org/r/114350
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I15c78d28ae13663639001afa0f877b3b923e0d37
Gerrit-PatchSet: 1
Gerrit-Project: operations/debs/adminbot
Gerrit-Branch: master
Gerrit-Owner: Merlijn van Deen <[email protected]>
Gerrit-Reviewer: Andrew Bogott <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: Ryan Lane <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
