publish from GitHub release page

.github/workflows/publish.yml

@@ -0,0 +1,21 @@
+# To trigger this:
+# - go to Actions > Publish
+# - click the Run Workflow dropdown in the top-right
+name: Publish
+on: workflow_dispatch
+env:
+  CRATES_TOKEN: ${{ secrets.CRATES_TOKEN }}
+jobs:
+  cargo-publish:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v3
+      - name: Install stable toolchain
+        uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: stable
+      - name: Publish bindgen (lib)
+        run: cargo publish --package bindgen --token ${CRATES_TOKEN}
+      - name: Publish bindgen-cli
+        run: cargo publish --package bindgen-cli --token ${CRATES_TOKEN}

CONTRIBUTING.md

@@ -564,8 +564,9 @@ important fix) you can skip this.
 Once you're in the right branch, do:
 
 ```
-cargo release [patch|minor] --execute
+cargo release [patch|minor] --no-publish --execute
 ```
+
 This does the following:
 
 - Tag (`git tag`) the HEAD commit