On Mon, Jan 30, 2023 at 10:26 AM Masahiro Yamada <masahiroy@xxxxxxxxxx> wrote: > > This file is ignored by git by the '.*' rule in the top .gitignore. > > I do not see a good reason why this should be a hidden file. Only because that is the default name yamllint will pick up if it is run from the bindings directory. Not really something I do though. Rob
