Skip to content

.gitignore: ignore .docs#77

Merged
nywilken merged 1 commit intomainfrom
ignore-.docs-gitignore
Mar 4, 2023
Merged

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

Conversation

@lbajolet-hashicorp
Copy link
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
Copy link
Contributor

@nywilken nywilken left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@nywilken nywilken merged commit ccadc6d into main Mar 4, 2023
@nywilken nywilken deleted the ignore-.docs-gitignore branch March 4, 2023 00:47
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