On Fri, Jul 27, 2012 at 03:22:16PM +0200, Jacek Konieczny wrote: > Hi, > What is the current procedure for renaming packages in git?
> Both cases: when the package already has some auto/ tags and when it > does not. Every developer can do: ssh [email protected] move oldname newname Afterwards newname is a copy of old name, and oldname is read only (except in github). Any attempt to push to old name shows message explaining what happens. > Todays candidate to rename is: > python-pyzmq -> python-zmq > (python package name is 'zmq' – 'import zmq') > This one has not been built yet, so it is a simple repository rename. Done. -- Kacper _______________________________________________ pld-devel-en mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-devel-en
