ci: set up covector (#329)

* ci: set up covector

* remove postpublish

* push new tags to mirrors

* fetch tags of current repo in workflow file

* use our fork of create-pull-request action

* fmt

* use org tokens

* simplify string subst

* fmt again

.github/workflows/covector-status.yml

@@ -0,0 +1,16 @@
+name: covector status
+on: [pull_request]
+
+jobs:
+  covector:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          fetch-depth: 0 # required for use of git history
+      - name: covector status
+        uses: jbolda/covector/packages/action@covector-v0.8
+        id: covector
+        with:
+          command: "status"