Use var to set GITHUB_PROPERTIES