From f1858468e2a5fb9d4f2c7dcfc118324ae2263c9c Mon Sep 17 00:00:00 2001
From: Andrew Brown <andrew.brown@intel.com>
Date: Wed, 10 Jan 2024 13:29:41 -0800
Subject: [PATCH] doc: remember to tag wasi-libc during a release (#374)

This change documents a final step called out in [wasi-libc#461]: tag
the wasi-libc repository with the same wasi-sdk version tag.

[wasi-libc#461]: https://github.com/WebAssembly/wasi-libc/issues/461
---
 RELEASING.md | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/RELEASING.md b/RELEASING.md
index 8c65cc8e8..9ad2cbbe4 100644
--- a/RELEASING.md
+++ b/RELEASING.md
@@ -46,15 +46,24 @@ To publish a new version of `wasi-sdk` as a GitHub release:
    following script simplifies the uploading of all the files and auto-generates
    the release description:
 
-  ```shell script
-  ci/draft-release.sh $TAG $ARTIFACTS_DIR $GITHUB_TOKEN
-  ```
+   ```shell script
+   ci/draft-release.sh $TAG $ARTIFACTS_DIR $GITHUB_TOKEN
+   ```
 
   [releases]: https://github.com/WebAssembly/wasi-sdk/releases
 
 6. Publish the release; the previous step only creates a draft. Follow the link
    in the previous step or navigate to the GitHub [releases] to review the
-   description, commit, tag, and assets before clicking "Publish"
+   description, commit, tag, and assets before clicking "Publish."
+
+7. Remember to tag the wasi-libc repository with the new `$TAG` version.
+
+   ```shell script
+   git submodule status -- src/wasi-libc  # grab $WASI_LIBC_COMMIT from the output
+   cd $WASI_LIBC_REPO_DIR
+   git tag $TAG $WASI_LIBC_COMMIT
+   git push origin $TAG
+   ```
 
 [^cache]: Here is an example of how to clear a cache with the GitHub CLI: