remove old github hosting stuff