Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Added choice of default action when highlighting #4486
When you push a PR, some standard syntax/cleanliness checks are done. Like shfmt and luacheck.
Just add a
(You don't need to revert your previous commit - just correct, git add and commit your updated files, and git push origin yourbanche)