Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Error messages when changing repository_rule arguments #3143
Description of the problem / feature request / question:
As a result, I then get the error:
Changing it back, it still remains broken.
Have you found anything relevant by searching the web?