push-pages -> push

README.adoc

@@ -307,10 +307,10 @@ Create tags,and update all mirrors in one go with: link:push-mirrors[]:
 ./push-mirrors
 ....
 
-In particular, that script calls link:push-pages[]:
+In particular, that script calls link:push[]:
 
 ....
-./push-pages
+./push
 ....
 
 which is more lightweight and pushes just to GitHub and GitLab Pages, so we are going to be using that more often to avoid overloading package managers too much.

push-mirrors

@@ -12,7 +12,7 @@ git add package.json
 git add setup.py
 git commit -m 'bump package version'
 git tag -m "$new_version" "$new_version"
-./push-gh-pages
+./push
 
 # NPM package.
 # Updates package.json version, which other systems read if possible.