When cloning a repository, check if no plugins use the same id

forwards-long-jump / discotron

Modular Discord bot supporting plugins hosted on git repositories

MIT License

3 stars 5 forks source link

When cloning a repository, check if no plugins use the same id #25

Closed Blatoy closed 4 years ago

Blatoy commented 5 years ago

For exemple, adding https://github.com/Blatoy/discotron-general-plugins.git and https://github.com/Blatoy/discotron-general-plugins will work, but it will break a lot of things internally

RedMser commented 5 years ago

...in specific, when deleting one of the two (in my case, tested with http and https as the two identical repos), the files still seem to be lying around, and deleting/adding that specific repo does not work until the files are manually removed.