Skip to content

Option `groups` and `group` exist in verify.py

It is a bit confusing to have two options with different meanings have a very similar name. Yesterday we had a case on this and now, exploring the config_file branch, I stumbled upon this on the line 29 of verify.py.

Is it possible to find a better name for that option?

@mguenther: I guess this is up to you.