Davide a22584c630 Fine-tune profile management with additional attributes (#807) ... Additions to the domain: - Update rather than replace existing Core Data profile - Attach ProfileAttributes to Profile.userInfo - Store one-off `fingerprint` UUID on each save With the above in place, fix and improve ProfileManager to: - Use `fingerprint` to compare local/remote profiles in history and thus avoid local re-import of shared profiles - Use `deletingRemotely` to delete local profiles when removed from the remote repository (default false) - Use `isIncluded` filter to exclude certain profiles from the local repository (default nil)		2024-11-03 23:35:45 +01:00
..
swiftpm	Fine-tune profile management with additional attributes (#807)	2024-11-03 23:35:45 +01:00
IDEWorkspaceChecks.plist	Commit resolved SwiftPM packages	2021-11-26 09:07:57 +01:00