Switch PHP 8.0 to PHP-8.0.0 branch --skip-8.1

Author: shivammathur

.github/workflows/php80.yml

@@ -7,7 +7,7 @@ on:
     - cron: '30 23 * * *'
 jobs:
   build:
-    if: "!contains(github.event.head_commit.message, 'skip-build')"
+    if: "!contains(github.event.head_commit.message, 'skip-8.0')"
     runs-on: windows-2019
     strategy:
       fail-fast: false
@@ -79,6 +79,7 @@ jobs:
           ((Get-Content -path $snap_script_location -Raw) -replace "0, 7", "0, 10") | Set-Content -Path $snap_script_location
           ((Get-Content -path $branch_script_location -Raw) -replace "0, 7", "0, 10") | Set-Content -Path $branch_script_location
           ((Get-Content -path $config_location -Raw) -replace "pgo=1", "pgo=0") | Set-Content -Path $config_location
+          ((Get-Content -path $config_location -Raw) -replace "heads/PHP-8.0", "heads/PHP-8.0.0") | Set-Content -Path $config_location
       - name: build PHP
         run: |
           C:\php-snap-build\php-sdk\bin\vswhere

.github/workflows/phpmaster.yml

@@ -7,7 +7,7 @@ on:
     - cron: '30 23 * * *'
 jobs:
   build:
-    if: "!contains(github.event.head_commit.message, 'skip-build')"
+    if: "!contains(github.event.head_commit.message, 'skip-8.1')"
     runs-on: windows-2019
     strategy:
       fail-fast: false