Some personal tools for git