GitHub - zigi/zigi: zigi: The git interface for the rest of us!