# Pastebin 11JJBUEx
$ git remote -v
origin  https://github.com/SpinalHDL/VexRiscv.git (fetch)
origin  https://github.com/SpinalHDL/VexRiscv.git (push)