Searched full:github_repository (Results 1 – 7 of 7) 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
52 REPOSITORY_NAME="${GITHUB_REPOSITORY#*/}"
56 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
49 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
67 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
61 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
72 git remote set-url origin ${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}
