Externalize the Github repo.

Added the properties so that the Github repo is now configured via environment variable.