Removing project.properties from github