summaryrefslogtreecommitdiff
path: root/src/Command.hs
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2026-09-12 11:05:16 +0200
committerRoman Smrž <roman.smrz@seznam.cz>2026-09-13 15:05:42 +0200
commit31c243d5679825362ca0f60042ad5f4f8a2ba6dc (patch)
tree59c9249946d7ca5eb742b6704ee8546feedbccd0 /src/Command.hs
parent108114a076ed24ae998cf8b0222282321963dde4 (diff)
Add "writable" flag to repo required for pushing
Diffstat (limited to 'src/Command.hs')
-rw-r--r--src/Command.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Command.hs b/src/Command.hs
index 452be9d..9dd6f35 100644
--- a/src/Command.hs
+++ b/src/Command.hs
@@ -37,7 +37,7 @@ import Repo
data CommonOptions = CommonOptions
{ optJobs :: Int
- , optRepo :: [ ( RepoName, FilePath ) ]
+ , optRepo :: [ ( RepoName, ( Bool, FilePath ) ) ]
, optDestination :: [ ( DestinationName, Text ) ]
}