Che cos'è pr-demo?
Da utilizzare durante la creazione di demo animate (GIF) per richieste pull o documentazione. Copre la registrazione del terminale con asciinema e la conversione in GIF/SVG per l'incorporamento su GitHub. Fonte: mikeyobrien/ralph-orchestrator.