Thomas Dinges d56196ad96 Tools: Update issues script after label rename from priority to severity

2024-08-14 14:42:04 +02:00

..

gitea_utils.py

Tools: gitea utils does not load all pages

2024-04-28 01:06:51 +02:00

issues_module_listing.py

Tools: Update issues script after label rename from priority to severity

2024-08-14 14:42:04 +02:00

issues_needing_info.py

Cleanup: reduce right-shift in Python scripts

2024-02-28 11:02:54 +11:00

weekly_report.py

Tools: add a hash-length argument for the weekly reports generator

2024-05-30 23:34:24 +10:00