-
Kenneth Moreland authored
Now that we have the git-gitlab-sync script, set up the associated git alias to use it. Also update the version number in SetupForDevelopment.sh so that the alias changes in this branch are updated.
3ecf1b7a
Now that we have the git-gitlab-sync script, set up the associated git alias to use it. Also update the version number in SetupForDevelopment.sh so that the alias changes in this branch are updated.