tree 7a3a526030a436fb7554c6bd6640b8e8c220971c
parent d97f2f150cda0e6dce9f50217c84f13e60b82314
author Ed Tanous <edtanous@google.com> 1643749948 -0800
committer Andrew Jeffery <andrew@aj.id.au> 1644527290 +0000

Allow script to be used without a git alias

The script as it exists today relies on an ssh alias, which leads to
non-obvious error messages if it's not set up.  This is a case where
99% of the time people will be using the defaults, so we should make the
defaults as helpful as we can.

Tested:
Ran the commands in the README and saw that they succeeded.

Signed-off-by: Ed Tanous <edtanous@google.com>
Change-Id: I754b31ad9dae47af20c7cd8f4bbb4951119d061d