already exists :)

its undocumented at the moment but you push over https as well.

somebody has set up a git credential helper here: https://tangled.org/pds.dad/tangled-core/blob/feature%2Fgit-...