Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update gitignore to support .target symlink #78

Merged
merged 2 commits into from
Oct 3, 2023
Merged

Update gitignore to support .target symlink #78

merged 2 commits into from
Oct 3, 2023

Conversation

uklotzde
Copy link
Contributor

@uklotzde uklotzde commented Oct 3, 2023

See the comment in the file.

ia0
ia0 requested changes Oct 3, 2023
View reviewed changes
Copy link
Owner

@ia0 ia0 left a comment

Choose a reason for hiding this comment

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

Thanks a lot for the PR! I didn't think of users wanting to symlink the .target directory.

.gitignore Outdated Show resolved Hide resolved
@ia0 ia0 changed the title Update gitignore Update gitignore to support .target symlink Oct 3, 2023
@ia0 ia0 added the enhancement label Oct 3, 2023
@uklotzde @ia0
Update .gitignore
4e12752 
Co-authored-by: Julien Cretin <github@ia0.eu>
ia0
ia0 approved these changes Oct 3, 2023
View reviewed changes
.gitignore Outdated Show resolved Hide resolved
@ia0 ia0 merged commit b647a5b into ia0:master Oct 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ia0 ia0 ia0 approved these changes

Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@uklotzde @ia0