From 188e8a9a4e596f986b5caadbada9bc2390f235a2 Mon Sep 17 00:00:00 2001 From: ZenithalHourlyRate Date: Wed, 19 Jan 2022 23:21:38 +0800 Subject: [PATCH] github-raw: stackage: mirror back global-hints Ref to https://github.com/tuna/mirror-web/commit/25acce426c9222e13898fc5ab67bc7fc10b048bb --- github-raw.py | 1 + 1 file changed, 1 insertion(+) diff --git a/github-raw.py b/github-raw.py index 788fdf7..5542f8f 100755 --- a/github-raw.py +++ b/github-raw.py @@ -22,6 +22,7 @@ REPOS = [ ## for stackage ["fpco/minghc", "master", "bin", "7z.exe"], ["fpco/minghc", "master", "bin", "7z.dll"], + ["fpco/stackage-content", "master", "stack", "global-hints.yaml"], ## for rosdep { "path": ["ros/rosdistro", "master", "rosdep", "sources.list.d", "20-default.list"], "filter": raw_to_tuna }, ["ros/rosdistro", "master", "rosdep", "osx-homebrew.yaml"],