github.remoteURIs ${scope.project.label} GitHub repository protocol remoteURI Terminology git Terminology Wiki Git master Setup for developing the Xtext Terminology Editor and its components