Jenkinsfile workaround for git-plugin

def appendEnvironment(propFile) {
    /*
        Workaround for GIT plugin, if unset, set manually here:
     */
    if (!env.GIT_BRANCH)
        env.GIT_BRANCH = git('rev-parse --abbrev-ref HEAD').trim()
    if (!env.GIT_COMMIT)
        env.GIT_COMMIT = git('rev-parse HEAD').trim()
    if (!env.GIT_URL)
        env.GIT_URL = git('config --get remote.origin.url').trim()
    if (!env.GIT_COMMITTER_NAME || env.GIT_AUTHOR_NAME) {
        env.GIT_AUTHOR_NAME = git("--no-pager show -s --format='%an'").trim()
        env.GIT_COMMITTER_NAME = env.GIT_AUTHOR_NAME
    }
    if (!env.GIT_COMMITTER_EMAIL || env.GIT_AUTHOR_EMAIL) {
        env.GIT_AUTHOR_EMAIL = git("--no-pager show -s --format='%ae'").trim()
        env.GIT_COMMITTER_EMAIL = env.GIT_AUTHOR_EMAIL
    }
}