diff --git a/README.adoc b/README.adoc
index f6636ad..7691de2 100644
--- a/README.adoc
+++ b/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.
diff --git a/push-pages b/push
similarity index 100%
rename from push-pages
rename to push
diff --git a/push-mirrors b/push-mirrors
index badd935..5453e53 100755
--- a/push-mirrors
+++ b/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.