we now use the default port for ssh
fix `git reset` syntax
be more specific with publish script