no ignored will get ignored

Taz03 · Zabuzard · commit 30d772bd0485 · 2025-07-01T09:46:59.000+02:00
diff --git a/application/src/main/java/org/togetherjava/tjbot/features/github/GitHubReference.java b/application/src/main/java/org/togetherjava/tjbot/features/github/GitHubReference.java
@@ -255,7 +255,7 @@ Optional<GHIssue> findIssue(int id, long defaultRepoId) {
                         issue = repository.getPullRequest(id);
                     }
                     return Optional.of(issue);
-                } catch (FileNotFoundException ignored) {
+                } catch (FileNotFoundException _) {
                     return Optional.<GHIssue>empty();
                 } catch (IOException ex) {
                     throw new UncheckedIOException(ex);

Original file line number	Diff line number	Diff line change
`@@ -255,7 +255,7 @@ Optional<GHIssue> findIssue(int id, long defaultRepoId) {`
`255`	`255`	`issue = repository.getPullRequest(id);`
`256`	`256`	`}`
`257`	`257`	`return Optional.of(issue);`
`258`		`- } catch (FileNotFoundException ignored) {`
	`258`	`+ } catch (FileNotFoundException _) {`
`259`	`259`	`return Optional.<GHIssue>empty();`
`260`	`260`	`} catch (IOException ex) {`
`261`	`261`	`throw new UncheckedIOException(ex);`