release: note githubrelease dependency

4 years ago · 874026829e
parent acdcf9e41f
commit 874026829e
1 changed files with 2 additions and 0 deletions
--- a/tools/release.sh
+++ b/tools/release.sh
@ -1,5 +1,7 @@
 #!/bin/sh

+# requires https://pypi.org/project/githubrelease/
+
 set -e

 usage() { echo "usage: `basename $0` oldversion newversion quip" ; }