[libre-riscv-dev] [Bug 374] add repo on github that points to git.libre-soc.org as a way to increase searchability

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Thu Jun 11 23:19:46 BST 2020


--- Comment #2 from Yehowshua <yimmanuel3 at gatech.edu> ---
That is, our core repo on Libre-soc.org pushes to the Github mirror on every

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list