Fix doc of properties of class Github