gitlab pages 2

README.adoc

@@ -300,19 +300,19 @@ Another source of China-specific mirroring are GitHub proxies, https://linuxpip.
 * https://github.com/521xueweihan/GitHub520
 * https://github.independentlyreview.com/cirosantilli/china-dictatorship described at https://independentlyreview.com/link as using https://workers.cloudflare.com/[Cloudflare workers]
 
-Update all mirrors in one go with: link:push-mirrors[]:
+Create tags,and update all mirrors in one go with: link:push-mirrors[]:
 
 ....
 ./push-mirrors
 ....
 
-In particular, that script calls link:push-gh-pages[]:
+In particular, that script calls link:push-pages[]:
 
 ....
-./push-gh-pages
+./push-pages
 ....
 
-which is more lightweight and pushes just to GH Pages, so we are going to be using that more often to avoid overloading package managers too much.
+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.
 
 There is no need to update package versions or add git tags, all of that gets done automatically by the script!
 

push-mirrors

@@ -33,7 +33,6 @@ twine upload dist/*
 rm -rf build dist *.egg-info
 
 # Push to other git mirrors.
-git push git@gitlab.com:cirosantilli/china-dictatorship.git
 git push git@bitbucket.org:cirosantilli/china-dictatorship.git
 git push git@gitlab.binets.fr:ciro.duran-santilli/china-dictatorship.git
 # Nah.

push-pages

@@ -5,6 +5,7 @@
 set -eux
 make
 git push --follow-tags
+git push git@gitlab.com:cirosantilli/china-dictatorship.git
 
 # GitHub pages.
 # One time initial setup.
@@ -20,5 +21,5 @@ cp .gitlab-ci.yml "${gh_pages_dir}"
 git -C "$gh_pages_dir" add .
 if git -C "$gh_pages_dir" commit -m "$(git log -1 --format="%H")"; then
   git -C "$gh_pages_dir" push
-  git push git@gitlab.com:cirosantilli/china-dictatorship.git
+  git -C "$gh_pages_dir" push git@gitlab.com:cirosantilli/china-dictatorship.git
 fi