I have been work in a package but I have a lot of files that have the same name as files already installed in PLUS directory. Therefore, when I use github install <my repository> these files are not installed. It would be nice to have an option to force download and replace these files to the ones in repository.
I have been work in a package but I have a lot of files that have the same name as files already installed in PLUS directory. Therefore, when I use
github install <my repository>these files are not installed. It would be nice to have an option to force download and replace these files to the ones in repository.