Switch to Gitea deployment

build-home.sh

@@ -33,7 +33,7 @@ Usage: $name [OPTION]
 Bootstrap a git repository as a bare repo, also perform some bootstrap tasks.
   -d DIRECTORY		Bootstrap directory. Defaults to ~.
   -r REPOSITORY		Target repository. Defaults to
-			git@gitlab.com:rehashedsalt/home
+			git@git.9iron.club:salt/home
   -l FILE		File to log command output to. Defaults to
 			$name.log
 EOF
@@ -142,7 +142,7 @@ main() {
 		log "Using default bootstrap dir \"$bootstrapdir\"" 0
 	fi
 	if [ -z ${repo+x} ]; then
-		repo='git@gitlab.com:rehashedsalt/home.git'
+		repo='git@git.9iron.club:salt/home.git'
 		log "Using default repository \"$repo\"" 0
 	fi
 	if [ -z ${logfile+x} ]; then