Do you mind if I add this bot to a public bot collection on github?

[pablocorbalann]

I'm trying to create a repository with as many discord bots as possible.

If you don't mind, We will love to implement this bot also in our repository using the git submodule system. If you want your bot in the repository and you also want to appear as a contributor you can create a PR.

If you have any problem with this, contact me and I will gladly delete your sub-module from the project.