#64 show query string

yegor256 · Sep 18, 2023 · 204f091 · 204f091
1 parent a854f49
commit 204f091
Showing 1 changed file with 16 additions and 13 deletions.
diff --git a/discover-repos.rb b/discover-repos.rb
@@ -50,18 +50,19 @@
 end
 names = []
 page = 0
+query = [
+  "stars:#{opts['min-stars']}..#{opts['max-stars']}",
+  "size:>=#{opts['min-size']}",
+  'language:java',
+  'is:public',
+  'mirror:false',
+  'archived:false',
+  'NOT',
+  'android'
+].join(' ')
 loop do
   json = github.search_repositories(
-    [
-      "stars:#{opts['min-stars']}..#{opts['max-stars']}",
-      "size:>=#{opts['min-size']}",
-      'language:java',
-      'is:public',
-      'mirror:false',
-      'archived:false',
-      'NOT',
-      'android'
-    ].join(' '),
+    query,
     per_page: size,
     page: page
   )
@@ -85,10 +86,12 @@
 
 File.write(
   opts[:tex],
-  'The following search criteria have been used: ' + [
+  [
+  ' The following search criteria have been used:',
     "at least #{opts['min-stars']} and at most #{opts['max-stars']} stars",
-    "at least #{opts['min-size']}Kb size of Git repo"
-  ].join(', ') + ".\n"
+    "at least #{opts['min-size']}Kb size of Git repo.",
+    "The exact query string for GitHub API was the following: ``\\texttt{#{query}}''.\n"
+  ].join
 )
 
 path = File.expand_path(opts[:path])