Code-Review+2: Matthias Sohn Verified+1: CI Bot Code-Review+2: David Pursehouse Submitted-by: David Pursehouse Submitted-at: Sun, 03 Mar 2019 18:11:30 -0500 Reviewed-on: https://git.eclipse.org/r/137483 Project: jgit/jgit Branch: refs/heads/stable-5.1