[05:31:30] <snitch>	 [[Tech]]; Gryllida; /* Android development */ new section; https://meta.wikimedia.org/w/index.php?diff=27391752&oldid=27389845&rcid=32383381
[07:15:57] <gry>	 https://m.mediawiki.org/wiki/Topic:Ybc3xn63mxmx7v0t
[07:16:20] <gry>	 where is the android push notifications server for the english wikipedia android app?
[11:37:54] <AntiComposite>	 gry, https://wikitech.wikimedia.org/wiki/Push_notifications https://www.mediawiki.org/wiki/Wikimedia_Product_Infrastructure_team/Push_Notifications_Infrastructure
[17:36:17] <Lofhi>	 heyo, can anyone explain the high number of changes compared to normal two weeks ago? https://grafana.wikimedia.org/d/8j5fqcuVk/mediawiki-action-timing-index-php?orgId=1&refresh=5m&var-metric=p50&var-module=edit&from=now-30d&to=now