summaryrefslogtreecommitdiff
path: root/push-all
Commit message (Expand)AuthorAgeFilesLines
* Add -r option to darcs-all, and remove push-all (#3375)Simon Marlow2009-08-031-0/+129
* Add -r option to darcs-all, and remove push-all (#3375)Simon Marlow2009-08-031-129/+0
* push-all needs to skip http:// repos, as we don't know how to push to themIan Lynagh2008-08-291-2/+8
* Read the packages file in strictly in darcs-all and push-allIan Lynagh2008-08-251-2/+5
* Prepare GHC for building with GitMax Bolingbroke2008-08-061-4/+2
* Make the push-all script complain about bad linesIan Lynagh2008-07-291-0/+3
* Follow darcs-all changes in push-allIan Lynagh2008-07-241-26/+30
* Teach push-all how to send as wellIan Lynagh2008-05-171-5/+8
* Refer to "boot" libs, not "core" libsIan Lynagh2007-09-141-7/+7
* Give push-all the ability to pull with a --pull flagIan Lynagh2007-09-121-1/+9
* Add a --ignore-failure flag to push-all scriptIan Lynagh2007-08-021-0/+3
* Add --core-only flag to push-allIan Lynagh2007-06-191-1/+9
* Add a push-all scriptIan Lynagh2007-06-191-0/+93
View Lorry Controller Status