@User same here - its basically an issue with yosys trying to use a different (not-configured) remote for the abc repo