@mattab opened this Pull Request on July 14th 2017 Owner
@sgiehl commented on July 14th 2017 Member

What's the reason for adding this to .gitignore? The file already exists. Did you maybe mean to add it to .gitattributes to be ignored for archives?

@mattab commented on July 14th 2017 Owner

I meant to add it to .gitattributes, thanks, will re-create!

This Pull Request was closed on July 14th 2017
Powered by GitHub Issue Mirror