Update libgit2 to 3f8d005

Updating libgit2 to `0a62918`.  The current version in HEAD (`0383fa`) had an unfortunate bug updating the tree cache (https://github.com/libgit2/libgit2/issues/2629) that can cause some issues.
Well, the message proposal can surely be improved. But having the name of the missing remote in it would help :wink: