mirror of
https://review.haiku-os.org/haiku
synced 2025-01-19 21:11:28 +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