commit: 772f4e506dab25ae39eea0602d14371bfabfbc36
Author: John R. Graham <john_r_graham <AT> gentoo <DOT> org>
AuthorDate: Thu Dec 19 12:28:44 2019 +0000
Commit: John R. Graham <john_r_graham <AT> gentoo <DOT> org>
CommitDate: Thu Dec 19 12:28:44 2019 +0000
URL: https://gitweb.gentoo.org/proj/forums.git/commit/?id=772f4e50
setup-workdir.bash script now actually works.
Signed-off-by: John R. Graham <john_r_graham <AT> gentoo.org>
workdir-setup.bash => setup-workdir.bash | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/workdir-setup.bash b/setup-workdir.bash
similarity index 87%
rename from workdir-setup.bash
rename to setup-workdir.bash
index 2fcfd2b3c..49608d5d9 100755
--- a/workdir-setup.bash
+++ b/setup-workdir.bash
@@ -26,8 +26,8 @@ set -e
worktree_count=0
-setup_worktree phpbb refs/heads/origin/3.2.x
-setup_worktree style refs/heads/styles/Gentoo-SUBSILVER
+setup_worktree phpbb origin/3.2.x
+setup_worktree style styles/Gentoo-SUBSILVER
if [[ $worktree_count -eq 0 ]] ; then
echo "Working directory already set up."
