Update JGit to 2.3.1.201302201838-r.63-gbba74ba

Includes NameRevCommand, which will be used to implement a "git
describe"-style API endpoint.

Change-Id: I2cae5e5951742f41abdc538a71cbc051334258ce
1 file changed