Merge pull request #93 from cynicsketch/main

Merge in mirroring GitHub action

Author: cynicsketch

.github/workflows/main.yml

@@ -0,0 +1,31 @@
+# This is a basic workflow to help you get started with Actions
+
+name: CI
+
+# Controls when the action will run. Triggers the workflow on push or pull request
+# events but only for the master branch
+on:
+  push:
+    branches:
+    - '**'
+
+# 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:
+    - uses: actions/checkout@v3
+      with:
+        fetch-depth: 0
+    - name: mirror-repository
+      # You may pin to the exact commit or the version.
+      # uses: yesolutions/mirror-action@1708f16cdb28634fd3ba10c5c79abc91f5578a14
+      uses: cynicsketch/[email protected]
+      with:
+        REMOTE: 'ssh://[email protected]/cynicsketch/nix-mineral.git'
+        GIT_SSH_PRIVATE_KEY: ${{ secrets.GIT_SSH_PRIVATE_KEY }}
+        GIT_SSH_KNOWN_HOSTS: ${{ secrets.GIT_SSH_KNOWN_HOSTS }}