darcs

Issue 2502 push patches to all repositories in prefs/repos

Title push patches to all repositories in prefs/repos
Priority feature Status unknown
Milestone Resolved in
Superseder Nosy List lemming
Assigned To
Topics

Created on 2016-07-14.07:48:00 by lemming, last changed 2017-08-12.21:10:42 by bf.

Messages
msg19234 (view) Author: lemming Date: 2016-07-14.07:47:58
I am currently maintaining darcs repositories both at code.haskell.org and 
hub.darcs.net. It would help me to have an option for 'darcs push' that 
pushes to multiple repositories in one go.

A command like

$ darcs push --all-repos

should push to all repos in _darcs/prefs/repos. I think it should be 
rather equivalent to

$ for repo in `cat _darcs/prefs/repos`; do darcs push $repo; done

Currently I am doing the same with a simple shell script. Thus the new 
option would be a nice addition, but no essential feature.
msg19571 (view) Author: bf Date: 2017-08-12.21:10:40
The feature as described by lemming would mean that patch selection is
done separately for each repo. I wonder if it wouldn't be more useful to
do this step (and creation of the patch bundle to be transferred) just
once. The obvious problem with that is that the set of patches offered
depends on the target repo (we offer only those that are not yet applied
in the target). For a common patch selection we could take the
intersection of all target repos. The bundle we create based on that may
contain patches that are already applied in some of the target repos but
I think that would not be a problem. Alternatively we could use an
option to use the union instead, so we'd offer only patches that are in
none of the target repos.
History
Date User Action Args
2016-07-14 07:48:00lemmingcreate
2017-08-12 20:43:38bfsetpriority: feature
2017-08-12 21:10:42bfsetmessages: + msg19571