Merge branch '__rultor'

h1alexbel · Feb 6, 2025 · 7f8a918 · 7f8a918
2 parents 5fae48f + 4a0cc82
commit 7f8a918
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/justfile b/justfile
@@ -70,7 +70,8 @@ clean:
 collect dir query start end out:
   mkdir -p {{dir}}
   ghminer --query "{{query}}" --start "{{start}}" --end "{{end}}" \
-   --tokens "$PATS" --filename "{{out}}"
+   --tokens "$PATS" --filename "{{out}}" --graphql "sr-data/resources/ghminer.graphql" \
+    --schema "sr-data/resources/ghminer.json"
 
 # Fetch pulls count for collected repos.
 pulls repos token out="experiment/with-pulls.csv":

diff --git a/ghminer.graphql → sr-data/resources/ghminer.graphql b/ghminer.graphql → sr-data/resources/ghminer.graphql
diff --git a/ghminer.json → sr-data/resources/ghminer.json b/ghminer.json → sr-data/resources/ghminer.json