Closed Rinzwind closed 1 year ago
The “repository” directory (still) uses metadata files. Even when using GitFileTree-MergeDriver, this can cause merging problems. Plus the MergeDriver is, presumably, not used when merging on the GitHub website.
We should probably adopt the metadata-less option that was introduced a while ago.
The “repository” directory (still) uses metadata files. Even when using GitFileTree-MergeDriver, this can cause merging problems. Plus the MergeDriver is, presumably, not used when merging on the GitHub website.
We should probably adopt the metadata-less option that was introduced a while ago.