Make gitattributes caps-agnostic

JMSLab / Template

Template for research repository using scons.

9 stars 1 forks source link

Closed jmshapir closed 1 year ago

jmshapir commented 1 year ago

Steps:

[x] Confirm that gitattributes is case-sensitive
[x] If so, update gitattributes to include the possible capitalizations of the RDS extension (and any other extensions we think might plausibly be saved with multiple capitalizations in the extension)

jmshapir commented 1 year ago

@rcalvo12 @ew487 fyi. Feel free to self-assign when you have some bandwidth.

rcalvo12 commented 1 year ago

@jmshapir after looking around the documentation/ forum posts, and considering our experience, it seems like .gitattributes is indeed case sensitive. I added alternate capitalizations to .gitattributes in https://github.com/JMSLab/Template/commit/1f9136869461c5b65815939f55af46d980eac69a.

jmshapir commented 1 year ago

@rcalvo12 thanks! Can you open a pull with @jmshapir as reviewer? It should be quick. :-)

rcalvo12 commented 1 year ago

Thread continues in #75.

rcalvo12 commented 1 year ago

Summary:

In this issue we confirmed that .gitattributes is case-sensitive and then updated .gitattributes to include alternate capitalizations.