projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 705b7e2) | patch
pullOption should be pushOption in seekExportContent
authorJoey Hess <joeyh@joeyh.name>
Tue, 16 May 2023 19:55:24 +0000 (15:55 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 16 May 2023 19:55:24 +0000 (15:55 -0400)
commit212442dd9b4733377928830cc848afcb54d3b53a
tree871eeb593c6354271ac243ba38732e27829f1661tree | snapshot
parent705b7e2d361b10caa5effc086773f9a47099b2abcommit | diff
pullOption should be pushOption in seekExportContent

sync: Fix bug that made --no-pull, rather than --no-push prevent exporting
trees to special remotes.

Sponsored-by: Joshua Antonishen on Patreon
CHANGELOG diff | blob | history
Command/Sync.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.