Issue #295: ston work has been completed and merged into gemstone bra…

…nch, so revert ston branch to gemstone
GsDevKit · Sep 24, 2020 · 906f56f · 906f56f
1 parent ed78b72
commit 906f56f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/sys/default/gsdevkit_bin/defSharedGitDevKit.env b/sys/default/gsdevkit_bin/defSharedGitDevKit.env
@@ -6,7 +6,7 @@
 
 export GS_SHARED_GITHUB_COMMIT_METACELLO="master"
 export GS_SHARED_GITHUB_COMMIT_TODE="issue_313"
-export GS_SHARED_GITHUB_COMMIT_STON="issue_15"
+export GS_SHARED_GITHUB_COMMIT_STON="gemstone"
 export GS_SHARED_GITHUB_COMMIT_PHARO3_FILETREE="pharo3.0"
 export GS_SHARED_GITHUB_COMMIT_GEMSTONE_FILETREE="gemstone2.4"
 export GS_SHARED_GITHUB_COMMIT_GREASE="v1.1.?"
@@ -23,7 +23,7 @@ export GS_SHARED_GIT_CHECKOUT_METACELLO="master"
 export GS_SHARED_GIT_REMOTE_METACELLO="origin"
 export GS_SHARED_GIT_CHECKOUT_TODE="issue_313"
 export GS_SHARED_GIT_REMOTE_TODE="origin"
-export GS_SHARED_GIT_CHECKOUT_STON="issue_15"
+export GS_SHARED_GIT_CHECKOUT_STON="gemstone"
 export GS_SHARED_GIT_REMOTE_STON="origin"
 export GS_SHARED_GIT_CHECKOUT_PHARO3_FILETREE="pharo3.0"
 export GS_SHARED_GIT_REMOTE_PHARO3_FILETREE="origin"