fix(systems/github): Filter: add missing post filter for ticket ID filtering

src/main/java/de/hftstuttgart/unifiedticketing/systems/github/GithubFilter.java

@@ -233,6 +233,11 @@ public class GithubFilter extends Filter<GithubTicket, GithubFilter>
                     ticketStream = ticketStream.filter(t -> t.body.matches((String) v));
                 }
 
+                else if (f.equals(FilterNames.IDS.name()))
+                {
+                    ticketStream = ticketStream.filter(t -> ((Set<String>) v).contains(String.valueOf(t.number)));
+                }
+
                 else if (f.equals(FilterNames.TITLE_CONTAINS.name()))
                 {
                     ticketStream = ticketStream.filter(t -> t.title