A concise and small shell extension for Git