diff --git a/.github/wiki b/.github/wiki deleted file mode 160000 index efef567..0000000 --- a/.github/wiki +++ /dev/null @@ -1 +0,0 @@ -Subproject commit efef5673c23752b1b69dfccfccf4a1a2a553182e diff --git a/.github/workflows/wiki.yml b/.github/workflows/wiki.yml index e76daa4..2d6122b 100644 --- a/.github/workflows/wiki.yml +++ b/.github/workflows/wiki.yml @@ -1,17 +1,14 @@ -name: "Fast Forward Wiki Update" +name: Fast Forward Wiki Update on: push: - branches: - - main + branches: [main] + pull_request: workflow_dispatch: permissions: - contents: write - pages: write - id-token: write + contents: write # Ceiling for the isolated publisher; generation remains read-only. jobs: wiki: - uses: php-fast-forward/dev-tools/.github/workflows/wiki.yml@main - secrets: inherit + uses: php-fast-forward/dev-tools/.github/workflows/wiki-direct.yml@c44339acd9b09b1a7f2249cceb8928e5e93cf42b # dev-tools#366 diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 64a35e6..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule ".github/wiki"] - path = .github/wiki - url = git@github.com:php-fast-forward/http.wiki.git