tree edd68fccd43ef1ddb946cfe5c2516929c924ab87
parent cc9da5729bd7765b43465c145662a171a3120798
author Dave Borowitz <dborowitz@google.com> 1363209341 -0700
committer Dave Borowitz <dborowitz@google.com> 1363374758 -0700

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