private void LoadRepos(string repos)
{
string[] lines = File.ReadAllLines(repos);
int id = 0;
foreach (string s in lines)
{
int externID = int.Parse(s.Substring(0, s.IndexOf(':')));
string[] split = s.Split(',');
Repository r = new Repository();
r.ID = id++;
r.ExternalID = externID;
r.Name = split[0];
r.DateCreated = DateTime.Parse(split[1]);
Repositories.AddRepository(r);
}
}
public void AddRepository(Repository r)
{
allReps.Add(r);
externalIndex[r.ExternalID] = r;
internalIndex[r.ID] = r;
}