dinosaure / docteur

An opiniated file-system for MirageOS
MIT License
25 stars 0 forks source link

Pointing at a local bare git repository behaves unexpected #30

Closed reynir closed 1 year ago

reynir commented 1 year ago

If using file:///path/to/bare/git-repository/ the resulting "file-system" contains the files you would find in a bare git repository, that is objects/, index, config etc., and not the files committed to the repository.

dinosaure commented 1 year ago

Can you have a concrete example of the behavior expected (with -vvv). Currently, we tried to recognize a Git repository, see this line: https://github.com/dinosaure/docteur/blob/6898978533adfd56bd8a53c2bac1a53b80863ef3/bin/make.ml#L560

reynir commented 1 year ago

My mistake, it was not a valid bare repository. I was missing these steps: https://stackoverflow.com/questions/2199897/how-to-convert-a-normal-git-repository-to-a-bare-one