more github specific stuff