# Deleting a Bare Repo

2 messages from 2011-03-18 to 2011-03-18. Participants: Sean B. Palmer, Neal Kreitzinger.
Thread: https://gitlist.dev/t/26775

## Sean B. Palmer, 2011-03-18 15:26

Subject: Deleting a Bare Repo
Message-ID: <AANLkTimaQ3dyXDJgY_Ys19jpNXx07vK2qNLQ_8Cp8NKi@mail.gmail.com>
URL: https://gitlist.dev/e/AANLkTimaQ3dyXDJgY_Ys19jpNXx07vK2qNLQ_8Cp8NKi%40mail.gmail.com

```
I'd like to delete a bare git repo, but I want to check that (a) it's
being used as the actual git bare repo, e.g. if $GIT_DIR is set, and
(b) that it is actually a git repo. Using rm -rf .git/ doesn't seem
safe for these reasons, so is there a command in git itself to do
this?

I've been going through the man pages without success.

-- 
Sean B. Palmer, http://inamidst.com/sbp/

```

## Neal Kreitzinger, 2011-03-18 21:36

Subject: Re: Deleting a Bare Repo
Message-ID: <4D83D069.1050206@gmail.com>
URL: https://gitlist.dev/e/4D83D069.1050206%40gmail.com
In-Reply-To: <AANLkTimaQ3dyXDJgY_Ys19jpNXx07vK2qNLQ_8Cp8NKi@mail.gmail.com>

```
On 3/18/2011 10:26 AM, Sean B. Palmer wrote:
> I'd like to delete a bare git repo, but I want to check that (a) it's
> being used as the actual git bare repo, e.g. if $GIT_DIR is set, and
> (b) that it is actually a git repo. Using rm -rf .git/ doesn't seem
> safe for these reasons, so is there a command in git itself to do
> this?
>
> I've been going through the man pages without success.
>
here is a partial list of considerations and inqueries:
* there is not a git command to delete a repo.  rm -rf is how you do it.
* git repo's are not aware of who has cloned from them and/or is 
pulling/fetching from them.
* if there is a git-daemon-export-ok then that means it was setup to be 
pull-from via the git:// protocol.  however, that doesn't mean anyone is 
actually pulling from it.
* check the config file and see if its setup as a mirror.  if so, 
investigate its mirror.

if you are talking about manual deletion you could:
* cd to the bare repo and do a git-status.  if it returns a status then 
it's a working repo (not necessarily a referenced repo).
* analyze it in gitk and see if anyone has pushed to it recently.
* rename it and see if anyone complains.

v/r,
neal

```