meh. github is having issues again :( no oauth nor https repo urls for me…

Tijs Teulings @tijs