yumh

writing about things, sometimes.

Posts tagged with #git

cgit & gitolite

Written by Omar Polo on 22 April 2020.

Custom git server with web interface & users management

$HOME as a git repo

Written by Omar Polo on 02 April 2020.

How do you track dotfiles?