`lake init` create a default `.git` directory with potientially wrong defaults
Nobody has claimed this yet.
- Dominant language
- Lean
- Stars
- 9.2k
- Forks
- 990
- Avg merge
- 1d 17h
- Merged PRs (30d)
- 175
Description
Using lake init or lake new creates a .git subdirectory with default options if
none exists. However this doesn't work in a mono-repo situation, and moreover git init is very often used with extra options (e.g. default branch is most often main and not master in modern times). I would suggest at least making this enabled with an explicit (and configurable) option.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the implementation of the lake init and lake new entry points and how they create a .git directory. Determine how an explicit configurable option could control this behavior, including mono-repositories and extra git init options such as the default branch; done means the behavior no longer applies unwanted defaults and is covered by appropriate tests.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- git
- Domain
- build-system, cli
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 38/100