Could you add city prefix to repo name?

proyectopetra / grx-PETRA

PETRA: Traffic Prediction and Monitoring

GNU General Public License v2.0

8 stars 1 forks source link

Could you add city prefix to repo name? #15

Closed songgao closed 9 years ago

songgao commented 9 years ago

Hey! Congrats on creating the repo!

Could you please add prefix to the repo name? Since we've got teams from all over the world under this organization, adding city prefix will make it easier to tell which project is from which city. GitHub will automatically track the renaming so as long as nobody else create a repo with your old repo name, nothing should be broken :D

fergunet commented 9 years ago

Done! Added the "grx-" prefix :)

songgao commented 9 years ago

Thanks!