add Remote.readonly

Does nothing yet.

Considered making bup readonly, but while the content can't be removed,
it is able to delete a branch, so didn't.

This commit was supported by the NSF-funded DataLad project.
This commit is contained in:
Joey Hess 2018-08-30 11:12:18 -04:00
parent a3fa9ea0b5
commit 02630b39ee
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
17 changed files with 19 additions and 0 deletions

View file

@ -110,6 +110,7 @@ gen r u c gc = do
, gitconfig = gc
, localpath = Nothing
, readonly = False
, appendonly = False
, availability = GloballyAvailable
, remotetype = remote
, mkUnavailable = gen r u (M.insert "host" "!dne!" c) gc