[06:07:16] Reedy: https://gerrit.wikimedia.org/r/134400 removes 60 lines of config with no changes, please merge it before other groupOverrides changes or it will be rebase hell :) [08:28:20] O_o Cannot query patchset information [08:28:21] The following command failed with exit code 255 "ssh -x -p 29418 nemobis@gerrit.wikimedia.org gerrit query --format=JSON --current-patch-set change:132811" [08:28:24] ----------------------- [08:28:26] hash mismatch [08:28:29] key_verify failed for server_host_key [08:28:31] ----------------------- [08:32:03] Totally misleading error, it was just wrong directory :) [08:48:12] Nemo_bis: https://bugzilla.wikimedia.org/show_bug.cgi?id=hash-mismatch [08:54:23] ok [18:04:23] Does somebody remember discussions about creating OpenSearch plugins for all Wikimedia projects and "advertising" them in the ? https://developer.mozilla.org/en-US/Add-ons/Creating_OpenSearch_plugins_for_Firefox [18:04:40] (As surprising as it may sound, some projects still don't have one.)