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.
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.
Greets,
Jacek