diff --git a/scripts/pr_status_bridge.py b/scripts/pr_status_bridge.py index 95d26c5..dd27798 100755 --- a/scripts/pr_status_bridge.py +++ b/scripts/pr_status_bridge.py @@ -47,7 +47,7 @@ REPOS = os.environ.get( "BRIDGE_REPOS", "windy-chat windy-mail windy-calendar Windy-Clone WindyCloud windy-search windy-connect" " windy-drops windy-code-web windy-code windy-traveler windy-registry eternitas" - " windy-translate windytranslate-site windytraveler-site", + " windy-translate windytranslate-site windytraveler-site windy-hand", ).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 93c2d8e..e2a1567 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 windy-drops windy-code-web windy-code windy-traveler windy-translate windytranslate-site windytraveler-site}" +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 windy-translate windytranslate-site windytraveler-site windy-hand}" mkdir -p "$WORK" log() { printf '[sync %s] %s\n' "$(date -u +%H:%M:%SZ)" "$*"; }