[16:31:08] <tgr>	 what do people use for pushing patches from untrusted Cloud infrastructure?
[16:31:38] <tgr>	 ssh agent is insecure, http password is inconvenient and still somewhat insecure...
[16:31:47] <tgr>	 rsync?
[18:58:06] <Krenair>	 tgr, safest option is probably to pull it down to your device and push from there
[18:58:50] <Krenair>	 otherwise, generate a one off http password, use it, then revoke it?
[19:18:11] <bd808>	 !log mediawiki-vagrant Hard reboot of mwv-builder-03 via Horizon. Memory issues.
[19:18:13] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Mediawiki-vagrant/SAL
[23:06:28] <ffs3___>	 bd808: 
[23:06:41] <ffs3___>	 wxWidgets license thing? Did you escalate it?