fix for git_working_copy_details (type)