Correct way to revert a bot to a previous version

Jump to navigation Jump to search

As long as you don’t mistakenly revert some one else’s bot, the first is ok. The second approach is usually seen when needing to reset scores, e.g. weird battle results.

Xor (talk)07:59, 10 June 2024