tree 42519b074a3ee85deb8f1a1c6e672b2fbf6b90ba
parent c26b57bf09c5428b3e9eb8d172abbd00160fc6ac
author David Ostrovsky <david@ostrovsky.org> 1557996814 +0200
committer Antonio Barone <syntonyze@gmail.com> 1706881597 +0100

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