Verified+1: JGit Bot Code-Review+2: Jonathan Nieder Submitted-by: Jonathan Nieder Submitted-at: Fri, 12 Jul 2019 20:19:26 -0400 Reviewed-on: https://git.eclipse.org/r/146026 Project: jgit/jgit Branch: refs/heads/master