-
Notifications
You must be signed in to change notification settings - Fork 61
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Wasn't clear where local created repo was #139
Labels
Comments
Hi Glad our tool was useful for you. :) Thank you for the information. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hi,
Thanks very much for writing this very useful tool. I don't so much have an issue (as I have now managed to do a successful migration from RTC to Git using it) - just a point about documenting the usage: after the migration script finished, I didn't know where the actual Git repository was created.
I found that to find the repo and push to my git server, all I had to do (but wasn't aware of this) was:
with config.ini containing:
GIT-Reponame = <repo_name.git>
Directory = <working_dir>
then:
the local repo is in <working_dir>/<repo_name>
and to push to git server:
git remote rm origin
git remote add origin < git server url >
git push
Thanks.
The text was updated successfully, but these errors were encountered: