Skip to content

chore: prepare protected pull request workflow - #1

Merged
Willxup merged 2 commits into
mainfrom
worktree/local-workflow-ignore
Aug 5, 2026
Merged

chore: prepare protected pull request workflow#1
Willxup merged 2 commits into
mainfrom
worktree/local-workflow-ignore

Conversation

@Willxup

@Willxup Willxup commented Aug 5, 2026

Copy link
Copy Markdown
Owner

Summary

  • Ignore project-local .agents/ and .worktrees/ directories.
  • Keep the FlowLens project Skill and linked worktrees out of repository status and commits.
  • Fetch full Git history in CI so Gitleaks can scan pull request commit ranges under protected-main rules.

Verification

  • git diff --check
  • GitHub Actions workflow YAML parsed successfully
  • Verified both local paths with git check-ignore
  • Previous PR CI passed source, unit, browser, release-contract, and Linux build steps; only the shallow-history Gitleaks step failed
  • Both commits include Signed-off-by (DCO)

Compatibility

None. No application code or runtime behavior changed.

Willxup added 2 commits August 5, 2026 15:19
Signed-off-by: Willxup <wangxking@outlook.com>
Signed-off-by: Willxup <wangxking@outlook.com>
@Willxup Willxup changed the title chore: ignore local agent and worktree directories chore: prepare protected pull request workflow Aug 5, 2026
@Willxup
Willxup merged commit 8d391be into main Aug 5, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant