...

2025-07-19 15:54:23 +02:00
parent f092095e7b
commit 02ffc71aea
65 changed files with 2424 additions and 2165 deletions
--- a/lib/develop/gittools/repos_get.v
+++ b/lib/develop/gittools/repos_get.v
@@ -113,7 +113,7 @@ pub fn (mut gitstructure GitStructure) get_repo(args_ ReposGetArgs) !&GitRepo {
 		return error('Found more than one repository for \n${args}\n${repos}')
 	}

-	//the pull & reset was not used, now re-inserted
+	// the pull & reset was not used, now re-inserted
 	mut repo := repositories[0] or { panic('bug get_repo') }

 	if args.pull {