[08:55:47] <snitch>	 [[Tech]]; Matthew at catfishing; /* API call to list article's previous titles/move history? */ new section; https://meta.wikimedia.org/w/index.php?diff=28279486&oldid=28271271&rcid=34366069
[09:01:34] <p858snake|cloud>	 xtex: I would probably file a task on phab and see what the Gitlab team thinks https://phabricator.wikimedia.org/maniphest/task/edit/form/1/?project=gitlab
[11:12:32] <snitch>	 [[Tech]]; BramVanroy; /* Understanding Wikipedia titles batching API */ Reply; https://meta.wikimedia.org/w/index.php?diff=28279765&oldid=28279486&rcid=34367926
[11:22:00] <snitch>	 [[Tech]]; 咽頭べさ; [none]; https://meta.wikimedia.org/w/index.php?diff=28279773&oldid=28279765&rcid=34367956
[22:35:59] <gry>	 I am trying to login to Wikitech. My username in Wikimedia SUL and in Wikitech is different, I was able to successfully request password reset on wikitech site then it asked for otp which says login failed. (I have otp codes setup in Wikimedia SUL and they work fine there, afaik I never setup anything like that for Wikitech). I tried to login at https://idp.wikimedia.org/login as this was in the instructions for how to rename Wikitech account to have same 
[22:35:59] <gry>	 username as Wikimedia SUL; the https://idp.wikimedia.org/login page says login failed. I'm hoping someone here can help before I file a ticket in https://phabricator.wikimedia.org/T376267
[23:33:06] <andre>	 gry: I fail to understand how an IRC message is less work than adding a comment in the communicated venue where to bring exactly such issues up?
[23:37:44] <gry>	 andre: ok, i copy pasted it there
[23:41:37] <gry>	 https://phabricator.wikimedia.org/T376267#10558107