tree fa9b0f41025db030ffed3a1ed10644e6165e7f4d
parent bf9313fc7dd5b913b4a6484799b899fde4ac3449
author David Ostrovsky <david@ostrovsky.org> 1557996814 +0200
committer David Ostrovsky <david@ostrovsky.org> 1557997445 +0200

FilteredRefDatabase: Remove getRef(String name) override

The latest JGit release marked getRef() final, so that it cannot be
overridden any more. It's not relevant anyway, because exactRef() does
the job and it is overridden and takes permissions into consideration.

Change-Id: I4f9015a41105a3c893970cf026d87007315ce01d