forgejo-cI; rename push to deploy

.forgejo/workflows/pages.yaml

@@ -25,7 +25,7 @@ jobs:
         run: ikiwiki --setup ikiwiki.setup
       - name: Website upload
         run: |
-          cp .forgejo/workflows/push.yaml public/.forgejo/workflows/.
+          cp .forgejo/workflows/deploy.yaml public/.forgejo/workflows/.
           git log -1 --pretty=%B > commit.txt
           cd public
           date > generated.txt

README.md

@@ -2,7 +2,7 @@
 Upstream: https://ayakael.net/forge/ayakael.net/actions
 
 ![Build Status](https://ayakael.net/forge/ayakael.net/badges/workflows/pages.yaml/badge.svg)
-![Push Status](https://ayakael.net/forge/ayakael.net/badges/workflows/push.yaml/badge.svg)
+![Push Status](https://ayakael.net/forge/ayakael.net/badges/workflows/deploy.yaml/badge.svg)
 
 ## Forgejo Actions
 
@@ -12,7 +12,7 @@ That builds this website using ikiwiki, and pushes the build artifacts to the
 `public` branch.
 
 The `public` branch has its own workflow following steps defined in
-[`forgejo/workflows/push.yaml`](https://ayakael.net/forge/ayakael.net/src/branch/public/.forgejo/workflows/push.yaml)
+[`forgejo/workflows/deploy.yaml`](https://ayakael.net/forge/ayakael.net/src/branch/public/.forgejo/workflows/deploy.yaml)
 that uploads the artifacts to a remote HTTP server for deployment in
 production. This workflow is automatically updated from `main` so that `public`
 should never be manually modified.