[05:05:08] <botifico>	 [02mw-config] 07pisceskaze synchronize pull request 03#120: Adding $wgShortDescriptionExtendOpenSearchXml to ManageWiki - 13https://github.com/WikiForge/mw-config/pull/120
[05:06:22] <wikiforge-github>	 WikiForge/mw-config - pisceskaze the build passed.
[05:31:18] <WikiForgeLSBot>	 !log [reception@jobrunner11] starting deploy of {'pull': 'config', 'config': True, 'force': True, 'versions': ['1.40']} to [mw11, mw12, mw13, jobrunner11]
[05:31:20] <WikiForgeLogbot>	 Logged the message at https://meta.wikitide.org/wiki/Tech:Server_admin_log
[05:31:22] <WikiForgeLSBot>	 !log [reception@jobrunner11] finished deploy of {'pull': 'config', 'config': True, 'force': True, 'versions': ['1.40']} to [mw11, mw12, mw13, jobrunner11] - SUCCESS in 4s
[05:31:25] <WikiForgeLogbot>	 Logged the message at https://meta.wikitide.org/wiki/Tech:Server_admin_log