Loïc Reynier afe96e7433 pubs: add module ... Note, the pubs configuration file uses ConfigObj syntax, which is similar to the INI files syntax but with extra functionalities like nested sections. This prevents it from using Nix's INI format generator. Here is an example of pubs configuration that cannot be generated using Nix's INI format generator: [plugins] [[git]] manual=False For this reason, we opted for a stringly-typed configuration since the use of a structured `settings` option would require a custom parser.		2022-03-06 10:40:28 +01:00
..
ISSUE_TEMPLATE	meta: github: fix issue template assignees	2021-07-23 23:45:37 +02:00
workflows	ci: verify that meta.maintainers evaluate	2021-12-29 10:16:19 +01:00
CODEOWNERS	pubs: add module	2022-03-06 10:40:28 +01:00
dependabot.yml	Dependabot should act on release-21.05, not 20.09	2021-10-18 08:47:54 +02:00
PULL_REQUEST_TEMPLATE.md	docs: rename "doc" directory to "docs"	2021-08-17 19:35:11 +02:00
stale.yml	github: copyedit stale bot's messages (#2658)	2022-01-22 06:25:13 -07:00