"./bin/develop up" fails to update all sources if one of them has an "error"

[khink]

In a buildout (with git repos, mainly) where some source URL's don't match, "./bin/develop up" fails to update all the repos that it could easily update.

mr.developer finds a repo that has been checked out to a specific revision, so it can't pull. It marks this as an error. All repos after that are not updated, which i find contrary to how it should work in a practical work situation.

Maybe it's possible to not let an error in one repo keep other repos form being updated? Or else, issue a warning instead of an error?