GitHub private fork

[jschenke488]

name: hehe

on:
  workflow_dispatch:
  schedule:
    - cron: '0 10 * * *'

jobs:
  hehe:
    runs-on: ubuntu-latest
    if: github.repository == 'FRCTeam1987/3061-lib'

    steps:
      - name: Run a multi-line script
        run: |
          git config --global user.name "Jay"
          git config --global user.email "jschenke488@lsr7.net"
          git clone --mirror https://github.com/jschenke488/3061-lib 3061-lib
          cd 3061-lib
          git remote remove origin
          git remote add origin https://jschenke488:${{ secrets.GIT_TOKEN }}@github.com/FRCTeam1987/3061-lib
          git push -f --prune --all
          git push -f --prune --tag

This GitHub action can be put inside a blank private repository and then that private repo can be forked to create a private fork. It's stupid, but it works.

[jschenke488]

I tested to confirm this works in https://github.com/FRCTeam1987/3061-lib minus the actual fork, special permissions nor any other administrative actions are required. All it needs is a blank repo and a personal access token that has write access to the repo.

[jschenke488]

The 3061-lib repo can be safely deleted to undo all changes