@b0rk we do a most of our development on remotes, either via JupyterHub or VSCode over SSH. For the latter I forgot until checking the replies that it would count as a git GUI.