+ git remote add yosys-upstream <https://github.c...
# vhdl
r
+ git remote add yosys-upstream https://github.com/YosysHQ/abc && + git fetch yosys-upstream &&