Adding new repo endpoint for no particular reason

Saw this in my shelved changes. We can put it as part of the API.
Might be useful some day.

src/main/java/usi/si/seart/controller/GitRepoController.java

@@ -310,6 +310,17 @@ public ResponseEntity<?> getRepoById(
         return ResponseEntity.ok(dto);
     }
 
+    @GetMapping(value = "/{owner}/{repo}", produces = MediaType.APPLICATION_JSON_VALUE)
+    @Operation(summary = "Retrieve repository information based on its full name.")
+    public ResponseEntity<?> getRepoByName(
+            @PathVariable(value = "owner") String owner,
+            @PathVariable(value = "repo") String repo
+    ) {
+        GitRepo gitRepo = gitRepoService.getByName(owner + "/" + repo);
+        GitRepoDto dto = conversionService.convert(gitRepo, GitRepoDto.class);
+        return ResponseEntity.ok(dto);
+    }
+
     @GetMapping(value = "/labels", produces = MediaType.APPLICATION_JSON_VALUE)
     @Operation(summary = "Retrieve a list of the 500 most popular issue labels mined across projects.")
     public ResponseEntity<?> getAllLabels() {