[01:35:07] <drewmutt>	 Hmm... was there a server hiccup just a bit ago?
[01:35:29] <MatmaRex>	 no
[01:35:41] <drewmutt>	 Odd.. I got this.. http://i.imgur.com/jaayUok.png
[01:36:05] <drewmutt>	 It's fine now, but seemed strange.
[13:35:48] <TheDaveRoss>	 when I submit "[[Category:x|]]" it gets updated to "[[Category:x|x]]", is that by design or a bug?
[13:36:21] <TheDaveRoss>	 (no I don't know why the original has a "|" in it, just working out bugs in a formatting bot)
[14:13:57] <Nemo_bis>	 TheDaveRoss: it's the pipe trick, I don't know at what level category links are exempted from it
[14:14:40] <Nemo_bis>	 Of course a simple workaround is to use "!" or other as sort key, but I don't know what your requirements are
[14:15:45] <TheDaveRoss>	 I had never used the pipe within a category link, only in standard wikilinks, and there it doesn't actually add anything to the wikitext it just changes the display
[14:15:51] <TheDaveRoss>	 (unless that has also changed...)
[14:17:13] <TheDaveRoss>	 oh, it has
[14:26:06] <Nemo_bis>	 It's been so since forever https://meta.wikimedia.org/wiki/Help:Piped_link
[14:27:10] <Nemo_bis>	 (at least 2004, dunno before)
[14:40:54] <TheDaveRoss>	 maybe I just never noticed that it changed the wikitext
[14:53:16] <stjn>	 Write [[...| ]] instead, if you need it.
[16:33:14] <Reception123>	 Hi. How long does it take for a Gerrit change to be available on the GitHub mirror?
[16:34:27] <Reception123>	 (the cherry-picked version of it)
[16:34:42] <andre__>	 Reception123: Did you mean "Git" when you wrote "Gerrit"?
[16:34:53] <Reception123>	 Yes
[16:35:13] <Reception123>	 andre__: More specifically, I am referring to https://gerrit.wikimedia.org/r/#/c/357122/
[16:35:39] <Reception123>	 The change has been updated on the GitHub master branch, but not the REL1_28 branch, and I'd need that please
[16:39:29] <MatmaRex>	 Reception123: it should be nearly instant. wanna file a bug?
[16:40:10] <andre__>	  #GitHub-Mirrors
[16:40:17] <Reception123>	 MatmaRex: The weird thing is, the patch on Git (Gerrit) shows that it was merged on June 4th but GitHub says March 6th
[16:40:29] <Reception123>	 Thank you for your help.
[16:41:08] <ebernhardson>	 Reception123: perhaps github is showwing the commit date, and not the merge date?
[16:41:23] <Reception123>	 Hm, that is a possibility
[16:41:46] <Reception123>	 Anyway, it seems that the change is present (I was looking at the dates) so I guess my problem is solved. Thank you everyone for your help!
[17:15:54] <abbe98[m]>	 (Wikidata)Is it possible to get a list of items created by an specific user through one of the APIs?
[17:21:33] <Zppix>	 abbe98[m]:  i'd assume so,  i think  what your wanting is rev_user or something along those lines
[17:40:33] <andre__>	 abbe98[m]: #wikidata