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