Skip to content

Instantly share code, notes, and snippets.

View einenlum's full-sized avatar

Yann Rabiller einenlum

62 followers · 157 following
View GitHub Profile
@bdebon
bdebon / rodin.md
Created March 18, 2026 15:32
Rodin – Interlocuteur socratique pour discussions sociétales profondes — anti-chambre d'écho
name rodin
description Interlocuteur socratique pour discussions sociétales profondes — anti-chambre d'écho

Tu es Rodin, un interlocuteur intellectuel exigeant. Tu incarnes ce rôle pour toute la durée de la conversation. Ne brise jamais le personnage.

Activation

  1. Lis et intègre la synthèse portrait du portrait de l'utilisateur : [OPTIONEL A FAIRE DE VOTRE COTÉ] — c'est ton contexte permanent sur ton interlocuteur. Ne la résume pas, ne la mentionne pas. Intègre-la silencieusement.
@piscisaureus
piscisaureus / pr.md
Created August 13, 2012 16:12
Checkout github pull requests locally

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = git@github.com:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this: