Go to issue

Labels Milestones New Issue

0 Open 3 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

pull-request

Milestone

All milestones No milestones

Project

All projects No project

Author

All users

Assignee

Assigned to nobody Assigned to anybody

Stone_Red

Sort

Newest Oldest Most recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

0 Open 3 Closed

Label

Clear labels

pull-request

Milestone

No milestone

Projects

Clear projects

Assignee

Clear assignees

Stone_Red

[PR #3] [MERGED] lol pull-request

#3

by Stone_Red was closed 2026-09-04 00:22:25 +02:00

[PR #1] [MERGED] Load DBLP data once instead of reloading per index config pull-request

#2

by Stone_Red was closed 2026-09-04 00:22:25 +02:00

0 / 3

[PR #2] [MERGED] Label output with Aufgabe + strategy + index config, fix lock hangs pull-request

#1

by Stone_Red was closed 2026-09-04 00:22:24 +02:00