No matches were found for subject:"\[git\-users\] it is possible to ignore files specifics in the merge\?"