From 4d40e0811e05ffadf909a1604943838e69ef3fcc Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 1 Mar 2026 14:34:45 +0000 Subject: [PATCH 1/2] Initial plan From 283f289beda817627919306e4e9aac0f8495ef2e Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sun, 1 Mar 2026 14:36:13 +0000 Subject: [PATCH 2/2] Add ignored repositories list for CoPilot instructions propagation Co-authored-by: einari <134365+einari@users.noreply.github.com> --- .../workflows/propagate-copilot-instructions.yml | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/.github/workflows/propagate-copilot-instructions.yml b/.github/workflows/propagate-copilot-instructions.yml index 9b63569..488249d 100644 --- a/.github/workflows/propagate-copilot-instructions.yml +++ b/.github/workflows/propagate-copilot-instructions.yml @@ -40,6 +40,9 @@ jobs: source_repo="${{ github.repository }}" source_repo_name="${{ github.event.repository.name }}" + # Repositories to always ignore for propagation + ignored_repos=("cratis.github.io" "Workflows") + echo "Triggering sync for repositories in Cratis organization (source: $source_repo)..." echo "$repos" | jq -r '.[]' | while read -r repo; do # Skip the source repository to avoid infinite loop @@ -48,6 +51,19 @@ jobs: continue fi + # Skip repositories in the ignore list + skip=false + for ignored in "${ignored_repos[@]}"; do + if [ "$repo" = "$ignored" ]; then + skip=true + break + fi + done + if [ "$skip" = "true" ]; then + echo "Skipping $repo (in ignore list)" + continue + fi + echo "Triggering sync for Cratis/$repo..." if gh workflow run "sync-copilot-instructions.yml" \ --repo "Cratis/$repo" \