Commit graph

8 commits

Author SHA1 Message Date
Rahix 34d7a371b3 manager: Drop wiki page updates
Let's focus on the dot-based total tree
2025-05-22 16:12:13 +02:00
Rahix c93f701ef8 manager: Allow dead_code
For now, this makes development easier
2025-05-22 16:12:13 +02:00
Rahix 24e834dde3 manager: Don't hardcode repository URL 2025-05-22 15:49:06 +02:00
Rahix d0c8389c3b manager: Apply rustfmt 2025-05-22 15:49:06 +02:00
Rahix f04beb5dea manager: Remove Stale label if present
The stale label provides an easy way to force CI runs for issues after
changing dependencies.
2025-05-22 15:49:06 +02:00
Rahix 8b66d2551a manager: Render graphviz tree and push it to git 2025-05-22 14:55:35 +02:00
Rahix 3bd79f176e manager: Apply rustfmt 2025-05-22 10:23:07 +02:00
Rahix 870e54e263 manager: Add first version of the techtree manager
The techtree manager is a CI tool that derives the techtree graph from
the forgejo issues in this repository.  It then adds graph
visualizations to each issue and the wiki, to give an overview of the
tree.
2025-05-22 09:48:01 +02:00