search

gearbot / GearBot

Helps you to keep the gears turning smoothly
https://gearbot.rocks
MIT License
142 stars 45 forks source link

Discord domain migrations #408

Closed blastoise186 closed 4 years ago

blastoise186 commented 4 years ago

What does this PR add/fix/improve/... Please give some general info about the PR

Discord has recently switched their primary domain from discordapp.com to just discord.com

This PR switches some of the references over. It only updates those which are known to be safe i.e. discordapp.com to discord.com

Migration If any migration is required for already setup instances please provide instructions/requirements here

Not directly as a result of this PR per se. However, it should help other instances with their migrations when the time comes.

Dependencies If this requires any other PRs to be merged and deployed in other GearBot repositories please link them here

None known at this time. https://github.com/gearbot/Dashboard/pull/11 has a relation to this PR, but is not directly affected by it.

Taarek commented 4 years ago

This stuff is not mandatory until 7th October + gearbot 2.0 is under development, so making this minor change 5 months in advance seems excessive.

You are welcome to open a new PR in late-September ish if Gearbot 2.0 is not done yet.