diff --git a/scripts/pr_status_bridge.py b/scripts/pr_status_bridge.py index 4a898be..bd47e42 100755 --- a/scripts/pr_status_bridge.py +++ b/scripts/pr_status_bridge.py @@ -45,7 +45,8 @@ WG_OWNER = os.environ.get("WINDYGIT_OWNER", "windyadmin") # runner; bridging those too would put two competing verdicts on every commit. REPOS = os.environ.get( "BRIDGE_REPOS", - "windy-chat windy-mail windy-calendar Windy-Clone WindyCloud windy-search windy-connect", + "windy-chat windy-mail windy-calendar Windy-Clone WindyCloud windy-search windy-connect" + " windy-drops windy-code-web windy-code windy-traveler", ).split() # Gitea run status -> GitHub status state. `skipped` is deliberately absent: a diff --git a/scripts/sync_from_github.sh b/scripts/sync_from_github.sh index fd7f7b3..0a0f19d 100755 --- a/scripts/sync_from_github.sh +++ b/scripts/sync_from_github.sh @@ -38,7 +38,7 @@ FAILED=0 # Repos Windy Git tracks FROM GitHub. Remove a repo from this list at the moment # it flips to Windy-Git-first, or the sync will fight its authors and win. -REPOS="${SYNC_REPOS:-windy-calendar windy-search windy-registry Windy-Clone WindyCloud windy-cloud-sites windy-mind eternitas windy-agent windy-git windy-chat windy-mail windy-connect}" +REPOS="${SYNC_REPOS:-windy-calendar windy-search windy-registry Windy-Clone WindyCloud windy-cloud-sites windy-mind eternitas windy-agent windy-git windy-chat windy-mail windy-connect windy-drops windy-code-web windy-code windy-traveler}" mkdir -p "$WORK" log() { printf '[sync %s] %s\n' "$(date -u +%H:%M:%SZ)" "$*"; }