[07:48:18] <mooeypoo>	 matt_flaschen, yeah I'm pretty happy with our solution. Though I am still a little confused about some of the implementation details, but I'll just look at the doc and the comments and worse case verify details. The plan looks sound!
[19:11:14] <wikibugs>	 10MediaWiki-Recent-changes, 10TestMe: Sometimes edits by bots still show up on Recent changes and watchlist with hidebot=1 - https://phabricator.wikimedia.org/T63239#3312850 (10matej_suchanek)
[19:11:24] <wikibugs>	 10MediaWiki-Recent-changes, 10TestMe: Sometimes edits by bots still show up on Recent changes and watchlist with hidebot=1 - https://phabricator.wikimedia.org/T63239#3312853 (10matej_suchanek)
[20:46:59] <wikibugs>	 10MediaWiki-Watchlist, 10MediaWiki-API: Cannot read watchlist feed if mediawiki is private, even using the watchlist token - https://phabricator.wikimedia.org/T76528#3312986 (10Tessus) I hoped I could just create a PR on GitHub. I didn't really want to create yet another account....  But I'll have a look at it...