[17:39:46] <Reedy>	 Is replication to github broken?
[20:26:44] <Reedy>	 ostriches: https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/ValueView
[20:26:46] <Reedy>	 Wasn't that deleted?
[20:27:03] <Reedy>	 https://github.com/wikimedia/mediawiki-extensions/commit/fba9b3e2bac8b3ff9edbf19ccdaf13a60e1f02a3
[20:27:08] <Reedy>	 :/
[20:28:47] <ostriches>	 Wherps, missed it
[20:28:57] <Reedy>	 heh
[20:29:04] <Reedy>	 mind KILLING WITH FIRE pl0x?
[20:30:00] <ostriches>	 dead.
[20:30:15] <Reedy>	 cheers :D
[20:30:29] * ostriches goes back to weekend