Closed
Description
I think there may be one or two separate bugs covered by this.
Overall bug: It seems to be impossible to make a new repo on dolthub, and then initialize it with a non-global email/name config.
Reproduction
- Create a dolthub repo
- Bug 1: Try to clone the repo right away. Get an error like "clone failed; remote at that url contains no Dolt data". GitHub adds an initial empty commit which allows you to clone a repo right away (very helpful).
- Emotionally accept that you can't clone it right away.
mkdir new-repo ; cd new-repo
dolt init
- See error message (acceptable):
Author identity unknown. Run dolt config... .... Omit --global to set the identity only in this repository.
- Run the non-global dolt config commands:
dolt config --add user.email ...
anddolt config --add user.name ...
- Bug 2: Try
dolt init
. See that it fails:Failed to initialize directory as a data repo. .dolt directory already exists at '.'
- Try
dolt remote add origin ...
. See that it fails:The current directory is not a valid dolt repository.
I suppose this is expected.
Suggested Improvements
Any of these would fix the overall . I'd suggest that all of them should be implemented:
- Fix Bug 1: Allow cloning a brand-new repo. (Tracked in dolt shouldn't create an init commit #2361)
- Fix Bug 2: Allow
dolt init
if the only thing in the.dolt
folder of a repo is a config.json.
Activity