From 316108268facb26bf78b111bfd1195dbee314a38 Mon Sep 17 00:00:00 2001
From: Danielle McLean <dani@00dani.me>
Date: Thu, 18 Jun 2020 13:33:12 +1000
Subject: [PATCH] Clone 'bare' dots package names from git.00dani.me/dot,
 rather than GitHub

---
 local/bin/dots | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/local/bin/dots b/local/bin/dots
index 70be887..d6133e6 100755
--- a/local/bin/dots
+++ b/local/bin/dots
@@ -25,9 +25,9 @@
 'clone-one'() {
 	local url=$1
 	local package=${${url##*/}%.git}
-	# Simple package names are fetched from my GitHub repos.
-	[[ $url != */* ]] && url=$GITHUB_USER/dot-$package
-	# user/repo packages are fetched from that user's repos.
+	# Simple package names are fetched from my Gitea dot repos.
+	[[ $url != */* ]] && url=https://git.00dani.me/dot/$package
+	# user/repo packages are fetched from that user's GitHub repos.
 	[[ $url != *:* ]] && url=https://github.com/$url
 	if [[ -d $DOTFILES/$package ]]; then
 		echo "Looks like you already have $package cloned." >&2