mirror-osai.yml

# This is a basic workflow to help you get started with Actions

name: Push to open-source-at-illinois/git-gud

# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the main branch
on:
  push:
    branches: main

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
  # This workflow contains a single job called "build"
  build:
    # The type of runner that the job will run on
    runs-on: ubuntu-latest

    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
    # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
    - uses: actions/checkout@v2
      with:
        fetch-depth: 0

    # Runs a set of commands using the runners shell
    - name: Push to open-source-at-illinois/git-gud
      env:
        OSAI_ID_RSA: ${{ secrets.OSAI_ID_RSA }}
      run: |
        mkdir $HOME/.ssh
        chmod 700 $HOME/.ssh
        echo "$OSAI_ID_RSA" > $HOME/.ssh/id_rsa
        chmod 600 $HOME/.ssh/id_rsa
        git remote add osai git@github.com:open-source-at-illinois/git-gud.git
        git push -f osai main