Closed NightScript370 closed 2 weeks ago
This is not worth a PR. It might be better to just manually change it (force) Just wasn't sure what the best way to tell you guys about it; also, maybe you might think it's worth the PR so /shrug
Force pushes are a bad idea, as they can break forks and CI.
Yeah, a PR is fine, thanks! I'll update the release notes on GitHub and the live documentation.
This is not worth a PR. It might be better to just manually change it (force) Just wasn't sure what the best way to tell you guys about it; also, maybe you might think it's worth the PR so /shrug