Что такое pr-demo?
Используйте при создании анимированных демонстраций (GIF) для запросов на включение или документации. Охватывает запись терминала с помощью asciinema и преобразование в GIF/SVG для встраивания в GitHub. Источник: mikeyobrien/ralph-orchestrator.