feat/file-extensions #5528
Reference in New Issue
Block a user
Delete Branch "feat/file-extensions"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Renames some files to ignored file extensions, and ignores a few filetypes/names that should be ignored.
Also adds file extensions to pretty much every file in the repo, makes sure they get caught by pre-commit and such properly. And makes it easier to check what types we have around.
Removes some old files that should have been deleted, but were instead renamed to
.disabledor similar.adds a way to manually specify files to copy from each site, regardless of if they would have been ignored by default filters.
b4595646a2to43a54550a85d3020c127to10e5d5cca910e5d5cca9to020b489d0b5211a4b1d9to9d3b07d7c29d3b07d7c2toc2e94d8869ca0bc9f43dtoc2e94d8869c2e94d8869to36d2eec7d436d2eec7d4to85d8bef5f498a07d95f4to6f44fcae3c6f44fcae3cto3be9aa3e603be9aa3e60to1f84dae9231f84dae923tof68a77edd6feat/file-extensionsto WIP: feat/file-extensionsf68a77edd6to41bb16a835WIP: feat/file-extensionsto feat/file-extensions41bb16a835to132c60c00b132c60c00btoaccd6fdfedaccd6fdfedtoafd4ad80ff