circuitpython/tools/.gitattributes