[21:53:05] <tgr>	 anomie: I will be swatting a bunch of config changes, want me to throw in https://gerrit.wikimedia.org/r/#/c/324215/ ?
[21:53:16] <tgr>	 or is that blocked on wider discussion?
[21:55:30] <anomie>	 tgr: AFAIK it's just waiting for someone to +2 it
[21:56:38] <tgr>	 ok, I'll add it then
[22:42:30] <Krinkle>	 anomie: tgr: Any thoughts regarding https://phabricator.wikimedia.org/T75175#2506744 - PHPSessionSerializer failure on hhvm/travis, been happening for a while, still today.
[22:42:40] <Krinkle>	 https://travis-ci.org/wikimedia/mediawiki/jobs/177103619
[23:32:48] <tgr>	 bd808: do you have any concerns about deploying https://gerrit.wikimedia.org/r/#/c/323111/ and https://gerrit.wikimedia.org/r/#/c/323330/ in the same go?
[23:34:21] <bd808>	 tgr: the same sync?
[23:34:38] <tgr>	 yeah
[23:34:58] <bd808>	 I guess not, as long as you are ready to revert both too
[23:37:28] <tgr>	 if we are worried that e.g. some exceptions won't show up then it's better to have duplicate exceptions for a while than to risk not noticing that, but the logging setup is straightforward enough that that seems unlikely