Gitignore the local wiki checkout at docs/wiki/ #9
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The wiki is cloned locally to
docs/wiki/per the global documentation workflow. Without a gitignore rule,git statussurfacesdocs/as untracked in the main repo.Add
docs/wiki/to.gitignoreso the nested checkout does not pollute status or get accidentally committed.