public-inbox mirroring instructions
This public inbox may be cloned and mirrored by anyone:
git clone --mirror https://lore-kernel.gnuweeb.org/cocci/0 cocci/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 --ng fr.lip6.systeme.cocci \
cocci ./cocci https://lore-kernel.gnuweeb.org/cocci \
cocci@systeme.lip6.fr
public-inbox-index ./cocci
Example config snippet for mirrors: https://lore-kernel.gnuweeb.org/cocci/_/text/config/raw
AGPL code for this site:
git clone http://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/public-inbox.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox