I’m trying to add a settings file to my package that happens to have a different name on Package Control and on github. I can’t seem to find a ‘proper’ way to do this, and after a quick survey it seems that a lot of packages just choose their ‘public’ name over their repository name. This unfortunately means that the package can no longer be used when installing un-packaged, and will have to be locally modified to allow further development.
Is there a suggested way to do this?