Because my development machine has a tiny drive, I need to conserve drive space whenever I can. Is there any way to remove a local repository that I am not currently using from the local drive without removing it from the remote site (I'm using GitLab, so I don't want to remove it from GitLab, only from my local machine)? Thanks!