Page MenuHomePhabricator
Create Task
Maniphest T97798

Move bots to #wikimedia-dev
Closed, ResolvedPublic
Actions

Description

As discussed on mobile-l mailing list.

Details

SubjectRepoBranchLines +/-
Remove definitions for #wikimedia-mobilelabs/tools/grrritmaster+0 -10
Remove definitions for #wikimedia-mobilelabs/tools/wikibugs2master+0 -8
Customize query in gerrit

Related Objects

Event Timeline

Jdlrobson created this task.May 1 2015, 5:04 PM
Jdlrobson raised the priority of this task from to Needs Triage.
Jdlrobson updated the task description. (Show Details)
Jdlrobson added a project: Web-Team-Backlog.
Jdlrobson moved this task to Incoming on the Web-Team-Backlog board.
Jdlrobson subscribed.
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMay 1 2015, 5:04 PM
phuedx moved this task from Incoming to 2016-17 Q2 on the Web-Team-Backlog board.May 1 2015, 5:16 PM
Florian claimed this task.EditedMay 1 2015, 5:26 PM
Florian subscribed.

I'll upload a change.

P.S.: To not reopen the thread on mobile-l: +1 from my side to move bots back to wikimedia-dev :))

gerritbot subscribed.May 1 2015, 5:36 PM

Change 208134 had a related patch set uploaded (by Florianschmidtwelzow):
Remove definitions for #wikimedia-mobile

https://gerrit.wikimedia.org/r/208134

gerritbot added a project: Patch-For-Review.May 1 2015, 5:36 PM

Change 208135 had a related patch set uploaded (by Florianschmidtwelzow):
Remove definitions for #wikimedia-mobile

https://gerrit.wikimedia.org/r/208135

Florian updated the task description. (Show Details)May 1 2015, 5:41 PM
Florian set Security to None.
Florian moved this task from 2016-17 Q2 to 2017-18 Q3 on the Web-Team-Backlog board.
gerritbot added a comment.May 1 2015, 6:06 PM

Change 208135 merged by jenkins-bot:
Remove definitions for #wikimedia-mobile

https://gerrit.wikimedia.org/r/208135

gerritbot added a comment.May 1 2015, 6:10 PM

Change 208134 merged by jenkins-bot:
Remove definitions for #wikimedia-mobile

https://gerrit.wikimedia.org/r/208134

Florian mentioned this in rTGRT5b7fddd5ce46: Remove definitions for #wikimedia-mobile.May 1 2015, 6:11 PM
Florian closed this task as Resolved.May 1 2015, 6:14 PM
Florian added a subscriber: valhallasw.

@valhallasw: Does this need a restart of each bot? Can you do this? :)

valhallasw added a comment.May 1 2015, 6:21 PM

Both deployed. Thanks for the patch, @Florian.

Florian mentioned this in rTWBTb6c7fa03a61f: Remove definitions for #wikimedia-mobile.May 1 2015, 6:41 PM
phuedx removed a project: Patch-For-Review.May 4 2015, 8:48 AM
Nemo_bis awarded a token.May 4 2015, 10:10 AM
• Phabricator_maintenance moved this task from 2017-18 Q3 to 2014-15 Q4 on the Web-Team-Backlog board.Mar 7 2018, 1:17 AM
xSavitar subscribed.Nov 14 2018, 6:21 PM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits