Re: [PATCH] diagnose: require repository
- From
Kristoffer Haugsbakk <code@khaugsbakk.name>
- Date
- Oct 14, 2023, 14:56 UTC
- Message-ID
- <cfc411f9-26b4-4af2-8c50-29fbe3dcbe43@app.fastmail.com>
- In-Reply-To
- <20231014135302.13095-1-martin.agren@gmail.com>
On Sat, Oct 14, 2023, at 15:53, Martin Ågren wrote:
> Switch from the gentle setup to requiring a git directory. Without a git > repo, there isn't really much to diagnose.
This patch works for me. Thanks.
-- Kristoffer Haugsbakk