git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Deleting a Bare Repo

From
SPSean B. Palmer <sean@miscoranda.com>
Date
Mar 18, 2011, 15:26 UTC
Message-ID
<AANLkTimaQ3dyXDJgY_Ys19jpNXx07vK2qNLQ_8Cp8NKi@mail.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/
Next: Neal Kreitzinger
Message 1 of 2 in “Deleting a Bare Repo”
  1. Sean B. PalmerMar 18, 2011
  2. Neal KreitzingerMar 18, 2011

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.