* old read-only url times out for some reason (possible github bug)
* https seems to work.
* worry: does https only work for people with write access to repo?