501-519 of 519 results (24ms)
2016-03-22 §
17:49 <mafk> Merging https://gerrit.wikimedia.org/r/278925 [tools.stewardbots]
17:49 <mafk> Dropped support for php5.3 as per https://gerrit.wikimedia.org/r/#/c/278925/ [tools.stewardbots]
2016-03-16 §
16:03 <mafk> Merging gerrit change #{{gerrit|276205}} [tools.stewardbots]
2016-03-15 §
16:55 <mafk> Merged {{gerrit|277521}}, but reverted everything on {{gerrit|277537}}. Created {{phabT|130028}} [tools.stewardbots]
2016-03-10 §
11:07 <mafk> Merged https://gerrit.wikimedia.org/r/276206 and https://gerrit.wikimedia.org/r/276433 [tools.stewardbots]
2016-03-09 §
15:46 <mafk> Merged https://gerrit.wikimedia.org/r/276184 [tools.stewardbots]
2016-03-08 §
23:08 <mafk> chmod 770 to a folder [tools.stewardbots]
23:01 <mafk> moved some files from old folders, miscellaneous fixes [tools.stewardbots]
21:21 <mafk> Merged https://gerrit.wikimedia.org/r/275886 [tools.stewardbots]
17:47 <mafk> Merged https://gerrit.wikimedia.org/r/#/c/275850/ [tools.stewardbots]
15:41 <mafk> Modifyied .description [tools.stewardbots]
2016-03-05 §
15:28 <mafk> Merged https://gerrit.wikimedia.org/r/#/c/275163/ [tools.stewardbots]
15:24 <mafk> tools.stewardbots@tools-bastion-05 merged https://gerrit.wikimedia.org/r/275161 [tools.stewardbots]
15:17 <mafk> Merged https://gerrit.wikimedia.org/r/#/c/275001/ [tools.stewardbots]
2016-03-03 §
15:57 <mafk> Sync. {{gerrit|274737}} [tools.stewardbots]
15:52 <mafk> MarcoAurelio: merged and submitted {{gerrit|274734}} [tools.stewardbots]
15:37 <mafk> reverted last patches [tools.stewardbots]
15:15 <mafk> maurelio@tools-bastion05 Sync. repo [tools.stewardbots]
14:58 <mafk> Started overhaul of file system from toolserver [tools.stewardbots]