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/217930/how-to-change-package-name-after-release/

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

Asked by DinnerHowe on 2017-04-10 21:33:44 UTC

Comments

I don't understand the question. Can you give the command or web page where you're changing the package name?

Asked by ahendrix on 2017-06-20 02:56:29 UTC

would ros document pkg name changes as well when git repository name changed after released

Comments

Answers