Skip to content

.gitignore: ignore .docs#88

Merged
nywilken merged 1 commit intomainfrom
ignore-.docs-gitignore
Apr 7, 2023
Merged

.gitignore: ignore .docs#88
nywilken merged 1 commit intomainfrom
ignore-.docs-gitignore

Conversation

@lbajolet-hashicorp
Copy link
Copy Markdown
Contributor

The .docs directory is generated, and should therefore not be tracked by Git.

@lbajolet-hashicorp lbajolet-hashicorp requested a review from a team as a code owner January 17, 2023 21:54
@nywilken nywilken merged commit 8f0eb8b into main Apr 7, 2023
@nywilken nywilken deleted the ignore-.docs-gitignore branch April 7, 2023 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants