wget-dev
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: wget2 | Added tags files to .gitignore (!458)


From: Darshit Shah
Subject: Re: wget2 | Added tags files to .gitignore (!458)
Date: Sun, 03 Nov 2019 13:38:57 +0000



Darshit Shah commented:


I'm not too keen on this change. These are user-specific files that the user 
should ignore locally. See https://git-scm.com/docs/gitignore

If we don't do that, then every developer needs to add their own environment 
specific files to the project's gitignore essentially polluting it way too much.

-- 
Reply to this email directly or view it on GitLab: 
https://gitlab.com/gnuwget/wget2/merge_requests/458#note_239300052
You're receiving this email because of your account on gitlab.com.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]