Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
set recommended true for no-global-assign #8218
Thanks for the pull request, @liubinyi! I took a look to make sure it's ready for merging and found some changes are needed:
Can you please update the pull request to address these?
(More information can be found in our pull request guide.)