[eclipsedarcs-develop] Re: repo location

[<hi...@le...>]

Radek,

I only now applied your last patch, I'll look into it now :-)

Here is just another thought: should we associate a repo with only one remote 
repository? In principle, it is possible to pull and push freely between any two 
repos, and we should support that. So we could have multiple repos to pull from 
and push to associated with one project.

Another thing: we should, for remote repositories, use the repository locations 
from the repository manager? Basically the user can select from them and 
create a new one if the one he needs is not yet there. Creating a new one is of 
course exactly the same functionality as on the repo browsing view.

It would also enable us to make use of Isaac's unified repo location URIs :-)

Ciao,
Leif