diff --git a/.github/wiki b/.github/wiki deleted file mode 160000 index 23d26c7..0000000 --- a/.github/wiki +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 23d26c717d7d11d237de0d3231c3998bbe38bba2 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 5ac061e..0000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule ".github/wiki"] - path = .github/wiki - url = git@github.com:php-fast-forward/fork.wiki.git