[00:16:48] <tgr>	 bd808: is ther a specific reason for using mysql on vagrant when we use mariadb in production, or is it just a "no one fixed it yet" thing?
[00:17:22] <bd808>	 tgr: the latter. there is a bug for it that I tagged for the Debian Stretch migration work
[00:17:47] <tgr>	 is it blocked on the migration?
[00:18:09] <tgr>	 I'm trying to debug some query optimizer behavior which seems meaningfully different on mariadb
[00:18:19] <tgr>	 so I could go ahead and do it
[00:18:23] <bd808>	 technically, no. But I think we can get moved to Stretch in a month or so
[00:18:43] <bd808>	 you should switch to the stretch branch and fix it there :)
[00:19:09] <bd808>	 T181353 and T175056
[00:19:09] <stashbot>	 T175056: Switch mediawiki vagrant from mysql to mariadb - https://phabricator.wikimedia.org/T175056
[00:19:09] <stashbot>	 T181353: [EPIC] Migrate base image to Debian Stretch - https://phabricator.wikimedia.org/T181353
[00:19:22] <tgr>	 I'll give it a shot
[00:19:51] <bd808>	 my other big question for stretch is if we should got to php7 as the default and move hhvm to a role
[00:20:19] <bd808>	 I got both of them running last weekend
[00:20:43] <bd808>	 php7 did seem slow though. It probably needs php.ini tuning
[00:22:07] <tgr>	 what was the outcome of T172165?
[00:22:07] <stashbot>	 T172165: Require either PHP 7.0+ or HHVM in MW 1.31 - https://phabricator.wikimedia.org/T172165
[00:22:20] <bd808>	 yes
[00:22:44] <bd808>	 we need to push a few small things forward for the Foundation hosts to all be running hhvm
[00:23:11] <bd808>	 and then we will start the hhvm->php7 migration after. probably Q4/Q1 or something
[00:23:15] <tgr>	 in that case, IMO do it
[00:23:24] <tgr>	 (the switch on vagrant I mean)
[00:23:47] <bd808>	 yeah. getting vagratn to default to php7 seems reasonable
[00:23:56] <bd808>	 and shouldn't be too much work
[00:30:00] <tgr>	 bd808: I get "The box 'debian/contrib-stretch64' could not be found..."
[00:30:10] <tgr>	 did I miss some setup instruction?
[00:30:25] <tgr>	 URL: ["https://atlas.hashicorp.com/debian/contrib-stretch64"]
[00:30:25] <tgr>	 Error: The requested URL returned error: 401 Unauthorized
[00:31:12] <bd808>	 weird. I have "debian/contrib-stretch64                        (virtualbox, 9.2.0)" in my `vagrant box list` output
[00:31:29] <bd808>	 https://app.vagrantup.com/debian/boxes/contrib-stretch64
[00:31:45] <bd808>	 which is what the link you pasted 301's to
[00:31:54] <tgr>	 this is an upstream box, right?
[00:32:06] <bd808>	 yeah, vanilla stuff
[00:33:26] <bd808>	 the config is a direct cut-n-paste from https://app.vagrantup.com/debian/boxes/contrib-stretch64
[00:46:51] <tgr>	 that's fun, the url is public but vagrant keeps to append an invalid access_token to it
[00:47:15] <bd808>	 weird. what's your Vagrant version? I'm still on 1.9.5
[00:49:08] <tgr>	 same
[00:50:37] <bd808>	 I have no idea then :/
[00:51:04] <bd808>	 I suppose you could try a manual import of the base box but I don't know why its breaking
[00:52:35] <tgr>	 I ran vagrant login --token foo and now it works :)
[00:52:48] <bd808>	 heh
[00:52:53] <tgr>	 apparently I had a stuck login token which worse worse than an invalid token
[00:53:03] <tgr>	 even though I wasn't logged in
[02:05:32] <tgr>	 ooh, yellow for failed dependencies in puppet 4 is a nice touch
[14:36:59] <TabbyCat>	 hello, which repo hosts current gerritbot code? Thanks.
[14:38:11] <wikibugs>	 10Phabricator, 10GerritBot: Add a link to #GerritBot project in the description of @gerritbot account - https://phabricator.wikimedia.org/T181888#3805669 (10Framawiki)
[14:42:22] <Zppix>	 TabbyCat: -releng would probably be better imo
[14:56:02] <wikibugs>	 10Phabricator, 10GerritBot: Add a link to #GerritBot project in the description of @gerritbot account - https://phabricator.wikimedia.org/T181888#3805697 (10MarcoAurelio) Apparently administrators can do this.
[14:56:32] <paladox>	 its-phabricator
[14:56:38] <paladox>	 upstream gerrit-review
[18:27:49] <wikibugs>	 10Phabricator: Phabricator report function timeout - https://phabricator.wikimedia.org/T181896#3805935 (10Reception123)
[21:25:23] <wikibugs>	 10Project-Admins: Create tags for all Wikimedia projects - https://phabricator.wikimedia.org/T154549#2915420 (10martin.monperrus) Having a tag for "wikibook" would indeed be useful.
[22:16:52] <wikibugs>	 10GitHub-Mirrors, 10Cleanup, 10Repository-Admins, 10Patch-For-Review, 10User-MarcoAurelio: Archive the ActionEditSubmit extension - https://phabricator.wikimedia.org/T180808#3806175 (10MarcoAurelio)
[23:20:37] <wikibugs>	 10Phabricator, 10Performance: /maniphest/report/project/ : Maximum execution time of 10 seconds exceeded - https://phabricator.wikimedia.org/T125357#3806254 (10Aklapper) Which problem would that solve?
[23:31:51] <wikibugs>	 10Phabricator, 10GerritBot: Add a link to #GerritBot project in the description of @gerritbot account - https://phabricator.wikimedia.org/T181888#3806262 (10Aklapper) 05Open>03Resolved a:03Aklapper