docs(archive): preserve merged PR #4714#4722
Conversation
There was a problem hiding this comment.
Pull request overview
This PR adds a preserved discussion archive for merged PR #4714 under docs/pr-discussions/, capturing the PR metadata, description, and bot comments for historical reference.
Changes:
- Add a new PR discussion archive markdown file for PR #4714.
- Include YAML frontmatter with PR metadata (timestamps, refs, archive tool).
- Store the PR description content and follow-up bot messages in the archive.
|
Vera CI triage (root read-only, no branch edits). I inspected the failing checks on head Blocking checks:
The semgrep hits are zero-width/invisible characters in issue/PR references and handles, including refs like Next branch-side fix: strip the invisible Unicode characters from that archive markdown, then rerun CI. Rerun-only is not enough while the semgrep findings remain. I did not push a fix because this PR is Lior-owned ( |
|
All checks have now passed. The invisible unicode characters have been stripped. |
This PR preserves the discussion archive for merged PR #4714.