-
Notifications
You must be signed in to change notification settings - Fork 357
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
repo: keep copy of UserSettings, remove RepoSettings
The idea is that ReadonlyRepo/MutableRepo hold UserSettings to accomplish their operations (such as transaction commit.) Later patches will remove the "settings" argument from a couple of repo methods, which will greatly reduce the amount of settings refs we had to pass around. The current UserSettings is set up for the repo, so we wouldn't need a separate RepoSettings type.
- Loading branch information
Showing
2 changed files
with
22 additions
and
40 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters