The miner repo was empty and now has been removed, the core repo doesn't contain this app.