A git-based task manager