| commit | 77358fdf1d3003b8adc3f962c4185d335bd365ae | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Thu May 16 10:53:34 2019 +0200 |
| committer | Antonio Barone <syntonyze@gmail.com> | Fri Feb 02 14:46:37 2024 +0100 |
| tree | 42519b074a3ee85deb8f1a1c6e672b2fbf6b90ba | |
| parent | c26b57bf09c5428b3e9eb8d172abbd00160fc6ac [diff] |
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