Skip to content
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

Open
BrianKirwan opened this issue Apr 3, 2018 · 1 comment
Open

Wasn't clear where local created repo was #139

BrianKirwan opened this issue Apr 3, 2018 · 1 comment
Labels

Comments

@BrianKirwan
Copy link

BrianKirwan commented Apr 3, 2018

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.

@WtfJoke
Copy link
Member

WtfJoke commented Apr 6, 2018

Hi

Glad our tool was useful for you. :)
Thought that was clear. I may improving the documentation there.

Thank you for the information.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants