Re: [PATCH 3/5] ci: group installation of Docker dependencies

From: Oswald Buddenhagen <oswald.buddenhagen@gmx.de>
Date: Oct 26, 2023, 08:34 UTC
Message-ID: <ZTokgo1mQ7ZVH7GU@ugly>
In-Reply-To: <a65d235dd3c14df4945b9753507d9cdab777966c.1698305961.git.ps@pks.im>

On Thu, Oct 26, 2023 at 10:00:12AM +0200, Patrick Steinhardt wrote:

>Pull in "lib.sh" into "install-docker-dependencies.sh" such that we can
>set up proper groups for those dependencise. This allows the reader to

					  ^^ !!!

>collapse sections in the CI output on GitHub Actions (and later on on
>GitLab CI).
>

the structure of the text is kind of backwards - the fact that you need to pull in a lib is just a consequence, not the intent, which imo should come first. tough it mostly doesn't matter, as it's just one short paragraph.

regards

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.