modified theproperties to reflect github repository