History SOURCES/eclipse-remove-jgit-provider.patch