prg-git: some refinement