@matzew: The label(s) kind/<kind> cannot be applied, because the repository doesn't have them.

@lkingland @matejvasek can we make this more intuitive ? Either by a CI linter, or something?

@lkingland @matejvasek can we make this more intuitive ? Either by a CI linter, or something?

Yes, we can, and we should 👍🏻 A little background:

Make may actually have been called, because the actual root problem that causes this most often (though perhaps not in this PR) is that the task which updates docs is not properly clearing its environment, so if (like me) you have FUNC_ENABLE_HOST_BUILDER=true or anything in your global config which alters command default options, the docs are all updated on make to include those differences. This means I am perpetually confronted with unstaged changes in ./docs, and forget that sometimes the changes are valid and need to be checked in. I presume this happens for others as well.

The ideal fix here is probably twofold: 1) fix the docs generator to clear its environment before generating docs and then 2) have a CI task which (like we do for zz_filesystem_generated) fail in CI if there are unstaged changes in ./docs after building.

/approve
/lgtm

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: lkingland, matejvasek, matzew

The full list of commands accepted by this bot can be found here.

The pull request process is described here