tree 575f9dc526c4c1e27957f3a2e28b708da285c793
parent ffb262040500151261107321e0e7d2f8b4632bd8
author Thomas Petazzoni <thomas.petazzoni@bootlin.com> 1605797633 +0100
committer Thomas Petazzoni <thomas.petazzoni@bootlin.com> 1610893927 +0100

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>