Add pingRepository to GitHubRestConnector

Returns only the HTTP status code
seart-group · Jan 8, 2024 · 5d795d7 · 5d795d7
1 parent 79545fe
commit 5d795d7
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/main/java/ch/usi/si/seart/github/GitHubRestConnector.java b/src/main/java/ch/usi/si/seart/github/GitHubRestConnector.java
@@ -92,6 +92,13 @@ public JsonObject searchRepositories(String language, Range<Date> dateRange, Int
         return execute(new RestCallback(url)).getJsonObject();
     }
 
+    public HttpStatus pingRepository(String name) {
+        URL url = Endpoint.REPOSITORY.toURL(name.split("/"));
+        RestCallback callback = new RestCallback(url);
+        RestResponse response = execute(callback);
+        return response.getStatus();
+    }
+
     @SuppressWarnings("ConstantConditions")
     public JsonArray getRepositoryLabels(String name) {
         JsonArray array = new JsonArray();