Searched full:github_repository (Results 1 – 6 of 6) sorted by relevance
23 …wget -q https://raw.githubusercontent.com/$GITHUB_REPOSITORY/main/.github/workflows/issues-report-…54 …s3 cp --quiet IssuesReport.html s3://testing.zephyrproject.org/issues/$GITHUB_REPOSITORY/index.html
53 REPOSITORY_NAME="${GITHUB_REPOSITORY#*/}"
49 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
63 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}172 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
63 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
61 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
