Eclipse JGit: Java implementation of Git 5.11.0