Exclude AGENTS.md from portal styleguide mirror

This commit is contained in:
gitea_admin committed 2026-05-19 09:20:25 +02:00
1 parent 6915eedd29
commit b9140728d3
2 files changed
+2 -1

No files matched your search

+1 -1
View File
@@ -33,7 +33,7 @@ Optional kann der Zielpfad ueberschrieben werden:
- `public/assets/styleguide.upstream.css` aktualisiert
- `public/assets/styleguide.upstream.meta.json` aktualisiert (Version, Commit, Zeitstempel)
- `docs/styleguide` gespiegelt (mit `--delete`, ohne `.git`, `.codex`, `scripts/`)
- `docs/styleguide` gespiegelt (mit `--delete`, ohne `.git`, `.codex`, `AGENTS.md`, `scripts/`)
- Optional: automatischer Commit + Push im Portalrepo
## Standardprozess je Release