Verified+1: CI Bot Code-Review+1: Ivan Frade Code-Review+2: Matthias Sohn Submitted-by: Matthias Sohn Submitted-at: Tue, 19 Feb 2019 16:52:41 -0500 Reviewed-on: https://git.eclipse.org/r/137167 Project: jgit/jgit Branch: refs/heads/master