|
|
709f843598
|
Update workflow: Create Pull Requests instead of direct push
|
2025-11-19 14:13:01 +01:00 |
|
|
|
73c1f5273d
|
Fix: GITHUB_OUTPUT und persist-credentials für Runner
|
2025-11-19 13:54:43 +01:00 |
|
|
|
34e44d80fb
|
Add script to update laws from RSS feed and TOC
|
2025-11-18 14:45:47 +01:00 |
|
|
|
6de2d2020b
|
Initial commit: Gesetze als Markdown
|
2025-11-18 10:44:04 +01:00 |
|
