Code-Review+1: Matthias Sohn Code-Review+1: Han-Wen NIenhuys Code-Review+2: Thomas Wolf Verified+1: JGit Bot Submitted-by: Thomas Wolf Submitted-at: Mon, 14 Oct 2019 16:04:58 -0400 Reviewed-on: https://git.eclipse.org/r/150667 Project: jgit/jgit Branch: refs/heads/master