Cherry-picking script used to create this branch.

script.sh

@@ -0,0 +1,52 @@
+#!/bin/bash
+
+# Reset to the version tag, to allow re-running the script.
+mv script.sh script.sh.backup
+git reset --hard v2.0.2
+mv script.sh.backup script.sh
+
+# PR 521: primproj are folded.
+git merge rlepigre/fix-HOAS-primproj
+
+# PR 562: Adapt to coq/coq#18327 (projection opacity).
+git cherry-pick 03656bb02682481005e99bcdc4266630a1339828
+
+# PR 597: Add synterp phase support for derive plugins.
+git cherry-pick 3625af367dbc11bde3648e608cd1ef0c152ae1e8
+git cherry-pick 2c117132331c5e7fe46fd55c8a4e671af7a9914e
+git cherry-pick 11e1bf77cef9f3ecf901b30381119bd1e06de52e
+git cherry-pick de2d45f49b1e74cffefa56891b7878d3a659434d
+git cherry-pick d8f01d4839c3a6d02f811a1729fbaaeb0fa055f1
+git cherry-pick 695e54d9064cb97abe40aa535201b23b2098c672
+git cherry-pick 498aacb16a06e647a42f819f04bdfe2a7d7d063c
+git cherry-pick f52b730dce1611a8717cdcdaa4fddda505d8fd62
+git cherry-pick 3f5e2789765452ade5dff3dc39f0a7a78bffe03f
+git cherry-pick 9e045c745aa3485a67ace580d57b4b9aff61358f
+
+# PR 605: Fix a couple of bugs.
+git cherry-pick 8a4ce17f984d0724d5f64cb381092868a0164a6e
+git cherry-pick 7407611b607c1130c7856bcbefa3fcfce7f49d2b
+
+# PR 604: Structured synterp actions.
+git cherry-pick --strategy=recursive -X theirs d26e71a5610e91105f1acf931cba720836b2047d
+
+# Recording the script.
+git add script.sh
+git commit \
+  -m "Cherry-picking script used to create this branch." \
+  --author "Rodolphe Lepigre <[email protected]>"
+
+# Tagging and pushing.
+TAG="v2.0.2+bedrock"
+git tag -f "$TAG"
+git push --force-with-lease
+git push -f --tags
+
+echo "Sleeping for 10 seconds..."
+sleep 10
+
+wget "https://github.com/rlepigre/coq-elpi/archive/refs/tags/$TAG.tar.gz"
+
+echo "md5=$(md5sum "$TAG.tar.gz" | cut -d' ' -f1)"
+echo "sha512=$(sha512sum "$TAG.tar.gz" | cut -d' ' -f1)"
+rm "$TAG.tar.gz"