diff options
Diffstat (limited to 'Types')
-rw-r--r-- | Types/Remote.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Types/Remote.hs b/Types/Remote.hs index a65919605..5e2e566e5 100644 --- a/Types/Remote.hs +++ b/Types/Remote.hs @@ -66,6 +66,8 @@ data RemoteA a = Remote { repo :: Git.Repo, -- a Remote can be assocated with a specific local filesystem path localpath :: Maybe FilePath, + -- a Remote can be known to be readonly + readonly :: Bool, -- the type of the remote remotetype :: RemoteTypeA a } |