more github improvements.