2022-05-22 Docs updates on 2022-05-21 github.com chore: enable v6.1 pr bot by TomShawn · Pull Request #8692 · pingcap/docs · GitHub CIの設定を変更しています。