utils/get-developers: use Developers.hasfile() where appropriate
authorThomas Petazzoni <thomas.petazzoni@bootlin.com>
Thu, 19 Nov 2020 14:53:53 +0000 (15:53 +0100)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Sun, 17 Jan 2021 14:32:07 +0000 (15:32 +0100)
commit57ecb6c8ebba1d742254f4fc251fe358017cdd2e
tree575f9dc526c4c1e27957f3a2e28b708da285c793
parentffb262040500151261107321e0e7d2f8b4632bd8
utils/get-developers: use Developers.hasfile() where appropriate

Instead of open-coding Developers.hasfile() in utils/get-developers,
use it directly.

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Tested-by: Heiko Thiery <heiko.thiery@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
utils/get-developers