Workshop: Collaborative git without GitHub (pijul mirror)