New property for github server added.