Environment variable for git URL from GitHub webhook (in addition to the existing GIT_REPOSITORY_URL one)

See also: