further GitHub related updates