1.3.1 - Tweak run UI options and explanations

• Turn "mustBeGreen" into a boolean, so we get a nice checkbox instead of a text field.
• Add better explanation to set mustBeGreen to false if repo does not run checks.