Update PUBLISH.md

Co-authored-by: Linus Gasser <[email protected]>
dedis · Dec 18, 2020 · 4c3f743 · 4c3f743
1 parent 9eb2c27
commit 4c3f743
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/PUBLISH.md b/PUBLISH.md
@@ -25,7 +25,7 @@ git tag -s vX.Y.Z -m "Cothority Release vX.Y.Z"
 ```
 
 and push it to master with `git push origin vX.Y.Z`. A tag push triggers
-the `release` action workflow with new release binaries available at
+the `release` action workflow which releases new binaries in
 `https://github.com/dedis/cothority/releases/tag/vX.Y.Z`. Please make sure to
 add the release description by editing that page.