would ros document pkg name changes as well when git repository name changed after released
hi all:
i read a question here: http://answers.ros.org/question/21793...
then i have a question:
if i manually change released package name on web-site in Github repository setting in other computer without bloom, would ros document will change package name as well?
thanks advance
I don't understand the question. Can you give the command or web page where you're changing the package name?