Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [] Decontainerizing GIT repos


I think we should change the names to the current style. Will the name change force users to change (i.e. get a "invalid repository" error) or will we need to post the new names through the wiki and mailing lists?

The symlink could be use temporally as a solution... although there is nothing more permanent than a temporal solution ...


On 25 June 2013 10:36, Ed Willink <ed@xxxxxxxxxxxxx> wrote:

Our GIT repos are currently


The current style is


If we don't change there will come a time when the ancient names become a significant confusion.

If we change, all users must correct their GIT connection details, and GitHub may break. It took over six months for QVTd to recover from the m2m/mmt name change, but maybe the GitHub problems have finally been resolved. (

Do we want to change? If so, shall we use QVTd as a path finder to see how long GitHub takes to catch up?

Maybe we can have a symlink for old accesses.


        Ed Willink
_______________________________________________ mailing list


Horacio Hoyos Rodríguez
EngD Student
University of York

Back to the top