Skip to content

Conversation

@iNoSec2
Copy link

@iNoSec2 iNoSec2 commented Oct 15, 2020

…out . at the end to have a cloned repo instead of having just a .git repo

…out . at the end to have a cloned repo instead of having just a .git repo
@gehaxelt
Copy link
Member

Hi,
as this tool is only for downloading the repo, I don't think adding cd $BASEDIR && git checkout is useful here, since a checkout might fail due to missing files and the cd changes the current working directory, which might be unexpected.

@gehaxelt gehaxelt closed this May 5, 2021
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