Web updater uses ssh+git for github, not https

Because its needs to push, and this is the easiest.