#1900: Formaline circumvents git's file change caching -----------------------------------+---------------------------------------- Reporter: rhaas | Owner: Type: defect | Status: new Priority: minor | Milestone: Component: EinsteinToolkit thorn | Version: development version Keywords: Formaline | -----------------------------------+---------------------------------------- Git contains a heuristic that considers a file as unchanged if its modification time is the same as when it was last added to the repository thus avoiding having to diff the file and its repository copy. Formaline commit 68dddf3 circumvents this by using plumbing commands that always read the file to compute a hash potentially slowing down Formaline significantly