David Pursehouse 717ece9d81 Better handling of duplicate remotes
In the current implementation, an error is raised if a remote with the
same name is defined more than once.  The check is only that the remote
has the same name as an existing remote.

With the support for multiple local manifests, it is more likely than
before that the same remote is defined in more than one manifest.

Change the check so that it only raises an error if a remote is defined
more than once with the same name, but different attributes.

Change-Id: Ic3608646cf9f40aa2bea7015d3ecd099c5f5f835
2012-11-13 09:35:37 +09:00
2009-06-02 00:09:07 +02:00
2012-10-30 10:28:20 +09:00
2012-10-30 10:28:20 +09:00
2008-10-21 07:00:00 -07:00
2012-10-23 21:35:59 -07:00
2012-10-22 12:30:14 +09:00
2012-10-30 10:28:20 +09:00
2012-10-09 12:45:30 +02:00
2011-09-19 14:52:57 -07:00
Description
No description provided
Apache-2.0 35 MiB
Languages
Python 99.1%
Shell 0.9%