[PATCH] Simplify git script