Add publishing script

Author: shilangyu

MAINTAINERS.md

@@ -0,0 +1,20 @@
+# Documentation for maintainers
+
+## Publishing a new version
+
+1. Create a git tag following the format `v[0-9]+.[0-9]+.[0-9]+`: `git tag v1.2.3`
+
+   > [!IMPORTANT]
+   > Follow [semantic versioning](https://semver.org)!
+
+1. Push the newly created tag: `git push origin v1.2.3`
+1. Release the new version by specifying the **tag** and providing your GitHub access token: `OPAM_PUBLISH_GH_TOKEN=xxx ./publish.sh v1.2.3`
+
+The last step will fork the target opam registry, create a new branch with the new release, and open a PR back to the registry from the new branch. All of this will be performed in the name of the access token owner!
+
+### Creating a GitHub access token
+
+1. Go to <https://github.com/settings/tokens/new>
+2. Check the top-level checkboxes for:
+   - repo
+   - workflow

publish.sh

@@ -0,0 +1,16 @@
+#!/bin/sh
+
+set -e
+
+if [ $# -eq 0 ] || [ -z "${OPAM_PUBLISH_GH_TOKEN:-}" ]; then
+	echo "Usage: $0 <git-tag>"
+	echo "Publishes to the Rocq opam repository"
+	echo "Requires OPAM_PUBLISH_GH_TOKEN environment variable"
+	exit 1
+fi
+
+TAG="$1"
+VERSION="${TAG#v}"
+opam publish \
+	--packages-directory=released/packages --repo rocq-prover/opam \
+	--tag $TAG -v $VERSION epfl-systemf/StrictOrderSolver