Pair of bugfixes that have made me grumpy.

Git add . instead of * .gitignore; use the SSH instead of the HTTPS origin address for github.