These are currently incorrect according to the gitattributes(5) and
gitignore(5) man pages. However, it seems github ended up treating them
as we intended due to a bug until recently when that bug was fixed.
e2cc02717eIsaac Freund committed on 4/19/2021, 8:55:12 PM· committed by Andrew Kelleyparentd605f02