Code-Review+2: Matthias Sohn Verified+1: JGit Bot Submitted-by: Matthias Sohn Submitted-at: Thu, 16 Jul 2020 19:40:24 -0400 Reviewed-on: https://git.eclipse.org/r/c/jgit/jgit/+/166183 Project: jgit/jgit Branch: refs/heads/master