florian 68d62e1f1f Removed pull request feature because I couldn't get it to work, shame! Now I yolo push to main

2025-10-11 13:58:05 +02:00

..

workflows

Removed pull request feature because I couldn't get it to work, shame! Now I yolo push to main

2025-10-11 13:58:05 +02:00