Merge beta for stable release 133.

.github/scripts/check-new-version.py

@@ -53,7 +53,7 @@ def test_version(current_version, candidate):
         build = get_latest_build(candidate)
         # Only try to get the build number if it's actually present.
         new_build = "-" in current_version and \
-            build > float(current_version.split('-')[1])
+            build > int(current_version.split('-')[1])
         if nv > cv or new_build:
             return '{}-{}'.format(candidate, build)
     return None

.github/workflows/new-version-check.yml

@@ -16,8 +16,8 @@ name: New version check
 
 on:
   schedule:
-    # run every hour (at minute 35)
-    - cron: '35 * * * *'
+    # run every hour (at minute 58)
+    - cron: '58 * * * *'
   workflow_dispatch:
 
 jobs:
@@ -44,7 +44,7 @@ jobs:
             git config user.name "GitHub Actions"
             git config user.email "[email protected]"
             git commit -m "Bump version to the latest release candidate (${{ env.new_version }})."
-            git push
+            git push stable
           else
             echo "New major version (${{ env.new_version }}), please merge the beta branch into the stable one."
           fi
@@ -71,7 +71,7 @@ jobs:
             git config user.name "GitHub Actions"
             git config user.email "[email protected]"
             git commit -m "Bump version to the latest ESR release (${{ env.new_version }})."
-            git push
+            git push esr
           else
             echo "New major version (${{ env.new_version }}), please proceed to a manual update."
           fi
@@ -97,7 +97,7 @@ jobs:
           git config user.name "GitHub Actions"
           git config user.email "[email protected]"
           git commit -m "Bump version to the latest beta (${{ env.new_version }})."
-          git push
+          git push beta
   check-new-nightly:
     runs-on: ubuntu-20.04
     steps: