Skip to content

chore: sync managed files from governance template - #1260

Merged
robinmordasiewicz merged 1 commit into
mainfrom
governance/sync-managed-files-c6e5d97c5ffa-32205872176-1
Aug 19, 2026
Merged

chore: sync managed files from governance template#1260
robinmordasiewicz merged 1 commit into
mainfrom
governance/sync-managed-files-c6e5d97c5ffa-32205872176-1

Conversation

@robinmordasiewicz

Copy link
Copy Markdown
Collaborator

Closes #1259

Synced managed files from f5-sales-demo/docs-control canonical source:

  • .gitignore

@robinmordasiewicz
robinmordasiewicz deployed to repository-settings August 19, 2026 01:42 — with GitHub Actions Active
@robinmordasiewicz
robinmordasiewicz enabled auto-merge (squash) August 19, 2026 01:42
@github-actions

Copy link
Copy Markdown

Super-linter summary

Language Validation result
CHECKOV Pass ✅
GITLEAKS Pass ✅
GIT_MERGE_CONFLICT_MARKERS Pass ✅
JSCPD Pass ✅
SPELL_CODESPELL Pass ✅
TRIVY Pass ✅

All files and directories linted successfully

For more information, see the GitHub Actions workflow run

Powered by Super-linter

@robinmordasiewicz
robinmordasiewicz merged commit b283adf into main Aug 19, 2026
14 checks passed
@robinmordasiewicz
robinmordasiewicz deleted the governance/sync-managed-files-c6e5d97c5ffa-32205872176-1 branch August 19, 2026 02:33
@robinmordasiewicz

Copy link
Copy Markdown
Collaborator Author

Antigravity workflow receipt

{
  "repository": "f5-sales-demo/docs-theme",
  "pull_request": 1260,
  "base_sha": "56528ceb3d166ab86183b7032bef5c419772d03e",
  "head_sha": "72d23aaf310bcf83785ffe728619d57a38647cec",
  "outcome": "success",
  "watcher_run_id": 32210642998
}

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.

chore: sync managed files from governance template

1 participant