git.el: Make sure we never insert the same file twice.