mirror of
https://review.haiku-os.org/haiku
synced 2025-02-01 03:06:08 +01:00
86d7e28306
* add option --remote-user to configure, which sets HAIKU_REMOTE_USER * add evaluation of HAIKU_REMOTE_USER variable when ssh-ing into git.haiku-os.org