Seems he's deleted the repo now.