new build: move devtools to gitea.it

5 months ago · cbce16f75e
2 changed files with 2 additions and 2 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -1,4 +1,4 @@
 [submodule "hacking"]
 	path = hacking
-	url = https://github.com/JehanneOS/devtools.git
+	url = https://gitea.it/JehanneOS/devtools.git
 	branch = master
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit e6908814ef79cae9a30fcc1504328d6da6e33ee8
+Subproject commit 5ea07be6994bac967a282f30d2c87bf37875a1ff