* 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?
