[00:13:09] <andre>	 gry: https://www.mediawiki.org/wiki/Notifications/API
[00:13:30] <gry>	 andre: so what do i do, sit on this api and check every 5 mins? when i get new notification, push it to the user?
[00:14:22] <gry>	 andre: i didn't do android app development before, so i'm a bit new to it
[00:15:02] <gry>	 i got >>Yes, Android does support web push notifications. This functionality is enabled through web browsers like Chrome and Firefox. Websites can send push notifications to users’ Android devices, allowing them to receive updates and alerts from their favorite sites, even if the browser is not actively open.<< meaning i probably can get away with a javascript page without full java app
[00:18:43] <gry>	 i'm looking at the page https://medium.com/@a7ul/beginners-guide-to-web-push-notifications-using-service-workers-cb3474a17679 and trying to conceptually understand whether or not it requires a server with npm installed, or does inserting the .html file into my android and getting it to run in background somehow will work
[04:27:20] <snitch>	 [[Tech]]; Mathglot; /* Where can I view the complete list of Newcomer task articles?  */ A list of articles (updated periodically), or a quarry query I could run would help.; https://meta.wikimedia.org/w/index.php?diff=27364334&oldid=27362479&rcid=32321200
[22:40:37] <legoktm>	 https://www.elastic.co/blog/elasticsearch-is-open-source-again
[22:46:21] <Reedy>	 :popcorn:
[22:47:20] <Bsadowski1>	 yay
[22:47:29] <Bsadowski1>	 :D
[22:47:37] <Reedy>	 >We were even named AWS partner of the year.
[22:51:25] <bd808>	 I already ranted in -search about Shay's "great news everyone!" goofiness here.