2012-12-19
§
|
11:37 |
<wm-bot> |
finally had GettingStarted extension installed. |
[releng] |
10:37 |
<hashar> |
/home/wikipedia/common/php-master/extensions/.git/FETCH_HEAD gave I/O error. I have deleted it and reran git pull + git submodule update --init aka : UPDATED ALL EXTENSIONS TO THEIR LATEST master VERSION. |
[releng] |
10:32 |
<wm-bot> |
removing live hack on UserMerge extension (attempted to grant some user right to bureaucrat, that should be done in CommonSettings.php ) |
[releng] |
10:31 |
<wm-bot> |
manually running 'git submodule update --init' under extensions directory to find out what is going on there |
[releng] |
10:10 |
<wm-bot> |
rebooting apache32 and apache33 to get new /home |
[releng] |
09:50 |
<wm-bot> |
updating mediawiki-config |
[releng] |
09:46 |
<hashar> |
rebooting -bastion to get the new /home |
[releng] |