Remove old

.github/workflows/blank.yml

@@ -1,36 +0,0 @@
-# This is a basic workflow to help you get started with Actions
-
-name: CI
-
-# Controls when the workflow will run
-on:
-  # Triggers the workflow on push or pull request events but only for the main branch
-  push:
-    branches: [ main ]
-  pull_request:
-    branches: [ main ]
-
-  # Allows you to run this workflow manually from the Actions tab
-  workflow_dispatch:
-
-# 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
-
-      # Runs a single command using the runners shell
-      - name: Run a one-line script
-        run: echo Hello, world!
-
-      # Runs a set of commands using the runners shell
-      - name: Run a multi-line script
-        run: |
-          echo Add other actions to build,
-          echo test, and deploy your project.

.github/workflows/sync-workflows.yml

@@ -1,27 +0,0 @@
-name: "Sync Workflows"
-on:
-  workflow_dispatch:
-  push:
-    branches:
-      - main
-    paths:
-      - "mirror.txt"
-jobs:
-  sync-workflows:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - name: Generate
-        run: |
-          git rm -f .github/workflows/mirror-*.yml || true
-          ./hack/generate-workflow.sh
-      - name: Sync
-        env:
-          GH_TOKEN: "${{ secrets.GH_TOKEN }}" # Permission to operate Workflows is required
-        run: |
-          git add .github/workflows/mirror-*.yml && git commit -m "Generate Workflow YAML" && {
-            git config --global user.name "bot"
-            SOURCE=$(git remote get-url origin | sed -E 's#git@(.+):(.+)#https://\1/\2#g' | sed "s#https://github.com#https://bot:${GH_TOKEN}@github.com#g")
-            git remote add upstream "${SOURCE}"
-            git push upstream main
-          }