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;
 }