commit | a58ae0ba2c23576a68d457e00aaf0902f41e4bb9 | [log] [tgz] |
---|---|---|
author | David Ostrovsky <david@ostrovsky.org> | Thu May 16 10:53:34 2019 +0200 |
committer | David Ostrovsky <david@ostrovsky.org> | Thu May 16 11:04:05 2019 +0200 |
tree | fa9b0f41025db030ffed3a1ed10644e6165e7f4d | |
parent | bf9313fc7dd5b913b4a6484799b899fde4ac3449 [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