ec5a71b936 
								
							 
						 
						
							
							
								
								manager: Make graph tree more tall than wide  
							
							 
							
							... 
							
							
							
							Helps with readability. 
							
						 
						
							2025-05-22 16:59:40 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								34d7a371b3 
								
							 
						 
						
							
							
								
								manager: Drop wiki page updates  
							
							 
							
							... 
							
							
							
							Let's focus on the dot-based total tree 
							
						 
						
							2025-05-22 16:12:13 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								a6aa02aa40 
								
							 
						 
						
							
							
								
								manager: wiki: Fix deprecation warning about base64::encode()  
							
							 
							
							
							
						 
						
							2025-05-22 16:12:13 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								c93f701ef8 
								
							 
						 
						
							
							
								
								manager: Allow dead_code  
							
							 
							
							... 
							
							
							
							For now, this makes development easier 
							
						 
						
							2025-05-22 16:12:13 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								6d7af36726 
								
							 
						 
						
							
							
								
								manager: Ignore errors while removing labels  
							
							 
							
							
							
						 
						
							2025-05-22 15:58:13 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								24e834dde3 
								
							 
						 
						
							
							
								
								manager: Don't hardcode repository URL  
							
							 
							
							
							
						 
						
							2025-05-22 15:49:06 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								d0c8389c3b 
								
							 
						 
						
							
							
								
								manager: Apply rustfmt  
							
							 
							
							
							
						 
						
							2025-05-22 15:49:06 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								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  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								e274f6206c 
								
							 
						 
						
							
							
								
								manager: Configure a git identity for committing  
							
							 
							
							
							
						 
						
							2025-05-22 15:02:57 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								cf484fe21c 
								
							 
						 
						
							
							
								
								manager: Fix ignoring subcommand exit status  
							
							 
							
							
							
						 
						
							2025-05-22 15:00:28 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								656b8f4b25 
								
							 
						 
						
							
							
								
								manager: Add new dependencies to nix shell  
							
							 
							
							
							
						 
						
							2025-05-22 14:55:35 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								8b66d2551a 
								
							 
						 
						
							
							
								
								manager: Render graphviz tree and push it to git  
							
							 
							
							
							
						 
						
							2025-05-22 14:55:35 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								3bd79f176e 
								
							 
						 
						
							
							
								
								manager: Apply rustfmt  
							
							 
							
							
							
						 
						
							2025-05-22 10:23:07 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								6d258f489f 
								
							 
						 
						
							
							
								
								manager: Use Type/ labels instead of ty/ and don't force types  
							
							 
							
							... 
							
							
							
							Allow arbitrary element types via the Type/# labels. 
							
						 
						
							2025-05-22 10:09:59 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								81932d2ac1 
								
							 
						 
						
							
							
								
								manager: collect: Fix panic on non-tracked dependency  
							
							 
							
							
							
						 
						
							2025-05-22 10:09:22 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								fb3a4a0d19 
								
							 
						 
						
							
							
								
								tree: Improve dot styling  
							
							 
							
							... 
							
							
							
							Use the same/similar styles that we use for mermaid. 
							
						 
						
							2025-05-22 09:51:48 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								04047052e3 
								
							 
						 
						
							
							
								
								manager: Add nix shell  
							
							 
							
							... 
							
							
							
							This nix shell will also be used as the CI environment for this tool. 
							
						 
						
							2025-05-22 09:49:08 +02:00  
						
						
							 
							
							
							
								 
							 
							
							
								 
							 
							
						 
					 
				
					
						
							
						 
						
							
							
							
							
								
							
							
								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