Skip to content

Fix github repo

Fix github repo #5

Workflow file for this run

name: Code Mirror
on: [push]
permissions:
id-token: write # Permission to fetch OIDC token
contents: read
jobs:
build:
runs-on: ubuntu-latest
environment: code_mirror
steps:
# Checkout the repo
- uses: actions/checkout@main
- uses: azure/login@v1
with:
client-id: ${{ secrets.CODE_MIRROR_CLIENT_ID }}
tenant-id: ${{ secrets.CODE_MIRROR_TENANT_ID }}
subscription-id: ${{ secrets.CODE_MIRROR_SUBSCRIPTION_ID }}
# Queue a code mirror build in azure devops
- name: Queue a build
run: |
az pipelines build queue --definition-id 16 --project internal --organization https://dev.azure.com/dnceng/ --variables BranchToMirror=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}} GitHubRepo=${{ github.repository }}
- name: logout
run: |
az logout