doc: Document release process

ProVerif · Jul 30, 2023 · 3dabb10 · 3dabb10
1 parent 2f07ae1
commit 3dabb10
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CONTRIBUTE.md b/CONTRIBUTE.md
@@ -25,5 +25,7 @@ Checklist:
 - Commit and tag.
 - `vsce package` to create the `.vsix` 
 - `vsce publish` to publish the new version to the marketplace
+- Upload the extension to GitHub
+- Upload the extension to https://open-vsx.org/
 
 If you are doing this for the first time on your machine, you need to login with `vsce login florianalexandermoser` with an authentication token from [here](https://famoser.visualstudio.com/_usersSettings/tokens).