Pushing the Terminology Plugin to GITHUB Repository