manage.sh: Change remote urls to avoid redirects and add --branch option

3f0315a6 · rinpatch · 256cf9e1 · 3f0315a6
Commit 3f0315a6 authored Oct 02, 2019 by rinpatch
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 2 deletions

manage.sh manage.sh +6 -2

No files found.
--- a/manage.sh
+++ b/manage.sh
@@ -26,8 +26,8 @@ all() {
 	build
 }

-FRONTEND_REMOTE_REPO_DEFAULT='https://git.pleroma.social/pleroma/pleroma-fe'
-BACKEND_REMOTE_REPO_DEFAULT='https://git.pleroma.social/pleroma/pleroma'
+FRONTEND_REMOTE_REPO_DEFAULT='https://git.pleroma.social/pleroma/pleroma-fe.git'
+BACKEND_REMOTE_REPO_DEFAULT='https://git.pleroma.social/pleroma/pleroma.git'

 FRONTEND_LOCAL_REPO_DEFAULT='../pleroma-fe'
 BACKEND_LOCAL_REPO_DEFAULT='../pleroma'
@@ -74,6 +74,10 @@ else
 			BACKEND_REPO="$2"
 			shift 2
 			;;
+		--branch)
+			branch="$2"
+			shift 2
+			;;
 		-*)
 			echo "invalid option: $1" 1>&2
 			shift 1