Remove unused repos variable

This should be removed upstream, too; it’s no longer used after <sourcecred/sourcecred#1233>. wchargin-branch: unused-repos
sourcecred · Feb 15, 2020 · 7bc8a0f · 7bc8a0f
1 parent a9981dd
commit 7bc8a0f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/scripts/build_static_site.sh b/scripts/build_static_site.sh
@@ -41,7 +41,6 @@ main() {
 parse_args() {
     target=
     weights=
-    repos=( )
     projects=( )
     project_files=( )
     while [ $# -gt 0 ]; do