chore(main): release 7.2.0#562

aladdin-add merged 1 commit intomaineslint-community/eslint-plugin-eslint-plugin:mainfrom

release-please--branches--main--components--eslint-plugin-eslint-plugineslint-community/eslint-plugin-eslint-plugin:release-please--branches--main--components--eslint-plugin-eslint-pluginCopy head branch name to clipboard