# 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 ]

permissions:
  contents: write

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