[16:33:27] dumping a random thought, providing a "by default, kinda" dev.mytool.toolforge.org jupyter notebook app to tools so they can log in, edit code, run terminal stuff from the web ui (with some stuff installed, like toolforge clis, git, ...), that would remove the need for bastions and/or direct ssh, might be resource intensive if not planned well though [16:34:05] (/me was able to just run a jupyter notebook inside toolforge with some toolforge clis, and found it very enticing)