3 ms·this is not a serious burden on git, plus they will rarely changeby kofejnik 11y agothis is not a serious burden on git, plus they will rarely change