Skip to content

Conversation

@vegaminer
Copy link
Contributor

I have rather large (several gigs) git repo, cloning it each time on mount from github is "expensive". So I've changed a bit clone logic, now it uses existing local repo if it exists, and clone it from remote if not

@vtemian
Copy link
Contributor

vtemian commented Oct 17, 2019

Hello @vegaminer!

Thanks for the PR! It sounds like a nice idea and I'm glad that you took the time and built it.
Can you please rebase the PR since I've updated the dependencies.

I'll also review it, after the rebase if you're still interested in it.

@vtemian vtemian force-pushed the master branch 2 times, most recently from 2bc4b15 to 4a6720f Compare October 20, 2019 11:00
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.

3 participants