gitgud: clean up