うーん、なるほど、それは確かに面倒ですね…これを処理するための PR を今すぐ作成します:
ご指摘の通り、これにより衝突の可能性が劇的に低下するはずです。anonymous_users という名前のユーザーがいるとはとても思えませんので、この名前変更を行う場合、自動チェックやマイグレーションは不要だと考えます。
うーん、なるほど、それは確かに面倒ですね…これを処理するための PR を今すぐ作成します:
ご指摘の通り、これにより衝突の可能性が劇的に低下するはずです。anonymous_users という名前のユーザーがいるとはとても思えませんので、この名前変更を行う場合、自動チェックやマイグレーションは不要だと考えます。