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

Fix Issue 14 #15

Merged
merged 1 commit into from
May 9, 2015
Merged

Fix Issue 14 #15

merged 1 commit into from
May 9, 2015

Conversation

WtfJoke
Copy link
Member

@WtfJoke WtfJoke commented May 8, 2015

#14
The script was throwing errors like "No repositories found based on path. Specify repository URI." and "Problem running 'discard': Unable to find workspace. Specify workspace."

rtcTo#14
The script was throwing errors like "No repositories found based on path. Specify repository URI." and "Problem running 'discard': Unable to find workspace. Specify workspace."
@WtfJoke
Copy link
Member Author

WtfJoke commented May 8, 2015

@ljhaywar I was so rude to create a pull request with your changes on my own. Hope you dont mind :)

@ljhaywar
Copy link
Contributor

ljhaywar commented May 8, 2015

Not at all. I'm new to Git and am still figuring out the terminology, so let me know if you need me to do anything.

@WtfJoke WtfJoke merged commit bd0f23d into rtcTo:develop May 9, 2015
@WtfJoke
Copy link
Member Author

WtfJoke commented May 9, 2015

No worries, Im still a git amateur as well 😛

@ljhaywar ljhaywar deleted the ljhaywar-patch-1 branch May 11, 2015 11:31
@WtfJoke
Copy link
Member Author

WtfJoke commented May 11, 2015

@ljhaywar Could you please test if your use case still works with my current development-branch?

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

Successfully merging this pull request may close these issues.

2 participants