; Example public-inbox config snippet for a mirror of
; http://lore.kernel.org/cocci/
; See public-inbox-config(5) manpage for more details:
; https://public-inbox.org/public-inbox-config.html
[publicinbox "cocci"]
	inboxdir = /path/to/top-level-inbox
	; note: public-inbox before v1.2.0 used `mainrepo' instead of
	; `inboxdir', both remain supported after 1.2
	mainrepo = /path/to/top-level-inbox
	url = https://example.com/cocci/
	url = http://example.onion/cocci/
	address = cocci@inria.fr
	listid = cocci.inria.fr
	newsgroup = fr.inria.cocci
	nntpmirror = nntp://nntp.lore.kernel.org/fr.inria.cocci