diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-09-12 11:05:16 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-09-13 15:05:42 +0200 |
| commit | 31c243d5679825362ca0f60042ad5f4f8a2ba6dc (patch) | |
| tree | 59c9249946d7ca5eb742b6704ee8546feedbccd0 /src/Config.hs | |
| parent | 108114a076ed24ae998cf8b0222282321963dde4 (diff) | |
Add "writable" flag to repo required for pushing
Diffstat (limited to 'src/Config.hs')
| -rw-r--r-- | src/Config.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Config.hs b/src/Config.hs index 651b05c..885e9a8 100644 --- a/src/Config.hs +++ b/src/Config.hs @@ -188,10 +188,11 @@ parsePush = withSeq "Push list" $ mapM $ parseRepo :: Text -> Node Pos -> Parser DeclaredRepo parseRepo name node = choice - [ flip (withNull "Repo") node $ return $ DeclaredRepo (RepoName name) Nothing + [ flip (withNull "Repo") node $ return $ DeclaredRepo (RepoName name) Nothing False , flip (withMap "Repo") node $ \r -> DeclaredRepo <$> pure (RepoName name) <*> (fmap T.unpack <$> r .:? "path") + <*> (fromMaybe False <$> r .:? "writable") ] parseDestination :: Text -> Node Pos -> Parser DeclaredDestination |