Introductory notes for putting a git remote on sharc, our HPC system.

It's more convenient if you get some good SSH config going. Follow my SSH notes.

Strictly speaking, it is optional, so if poking around with SSH config files seems scary, move on.

Git instructions.