Skip to content

Merge pull request #225 from github/update-codeql-submodule-109227070… #101

Merge pull request #225 from github/update-codeql-submodule-109227070…

Merge pull request #225 from github/update-codeql-submodule-109227070… #101

# The default branch is "main", but older checkouts may still use "master".
# This workflow keeps "master" up to date with "main".
name: Mirror main to master
on:
push:
branches: [ main ]
jobs:
mirror-main-to-master:
runs-on: ubuntu-latest
if: github.repository == 'github/vscode-codeql-starter'
steps:
- uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Push main to master
run: git push origin main:master