$ git clone -n https://src.fedoraproject.org/rpms/yosys.git /var/lib/mock/f31-build-61657-28942/root/chroot_tmpdir/scmroot/yosys
Cloning into '/var/lib/mock/f31-build-61657-28942/root/chroot_tmpdir/scmroot/yosys'...
$ git reset --hard de268af96b01b55fe6f7c2c249011a4119ee60ab
HEAD is now at de268af Actually upload the 0.8 source