You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Remove the tracked .github/wiki gitlink and its sole .gitmodules entry. The working direct Wiki publisher already generates into .dev-tools/wiki-generated and clones the separate Wiki repository, so its workflow is preserved. The Wiki content/history are untouched.
The shared follow-up preventing normal dev-tools:sync from recreating Wiki submodules is php-fast-forward/dev-tools#366. Merge that shared change before the next normal DevTools synchronization.
No actionable comments were generated in the recent review. 🎉
ℹ️ Recent review info
⚙️ Run configuration
Configuration used: Organization UI
Review profile: ASSERTIVE
Plan: Advanced
Run ID: 401b379a-92d2-437a-81ea-3aef78ef3a98
📥 Commits
Reviewing files that changed from the base of the PR and between 83df73e and 732c3af.
📒 Files selected for processing (2)
.github/wiki
.gitmodules
💤 Files with no reviewable changes (2)
.github/wiki
.gitmodules
Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review.
📝 Summary
Summary by CodeRabbit
Chores
Removed the linked wiki repository from the project configuration. The wiki is no longer referenced as a subproject here; this change affects repository setup rather than adding or changing application features. No changes to exported or public entities were reported.
The .github/wiki subproject reference and the .gitmodules entry that mapped it to its repository were removed.
Changes: Wiki submodule removal
Layer / File(s)
Summary
Remove wiki submodule reference .github/wiki, .gitmodules
The .github/wiki subproject reference and its repository mapping were removed.
Wiki publication remains independent of the removed submodule pointer. No established issue blocks merging this change.
Pre-merge checks · 5
Passed checks (5 passed)
Check name
Status
Explanation
Title check
The title clearly identifies the main change: removal of the obsolete Wiki submodule pointer.
Description check
The description explains the removed submodule references, confirms that Wiki publishing remains unchanged, and records validation and follow-up details.
Docstring Coverage
No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check
Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check
Check skipped because no linked issues were found for this pull request.
✨ Finishing Touches 💡 1
🛠️ Fix failing CI checks 💡
Commit to this branch
Create a new PR
🧪 Generate unit tests (beta)
Commit to this branch
Create a new PR
Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.
A rabbit hops past the wiki door No submodule waits there anymore The mapping is gone, the path is clear I nibble a clover and twitch one ear Then bound away with a cheerful cheer
Comment @coderabbitai help to get the list of available commands.
This branch has not been deployed
No deployments
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Remove the tracked .github/wiki gitlink and its sole .gitmodules entry. The working direct Wiki publisher already generates into .dev-tools/wiki-generated and clones the separate Wiki repository, so its workflow is preserved. The Wiki content/history are untouched.
Validation: Composer manifest validation, diff checks and no remaining tracked Wiki submodule references. Existing successful Wiki runs: https://github.com/php-fast-forward/config/actions/runs/38002867628. No runtime PHP or publication workflow changes.
The shared follow-up preventing normal dev-tools:sync from recreating Wiki submodules is php-fast-forward/dev-tools#366. Merge that shared change before the next normal DevTools synchronization.