Merge pull request #454 from MikeOpenHWGroup/zero2printf

Move ci_check to bin

GitCheats.md

@@ -87,4 +87,18 @@ $ git checkout master<br>
 $ git merge upstream/master<br>
 $ git push --set-upstream origin master<br>
 
+## Using ssh (need to set-up ssh keys first)
+\# git remote set-url origin git@github.com:username/your-repository.git<br>
+$ git clone git@github.com:openhwgroup/core-v-verif.git master<br>
 
+### Metrics CI Cheat Sheet
+
+#### Add the Metrics remote
+$ git remote add metrics git@gitlab.openhwgroup.metrics.ca:cv32e40p_verif/cv32e40p_verif.git
+
+#### Check to see if you have the Metrics remote added
+$ git remote -v
+> metrics	git@gitlab.openhwgroup.metrics.ca:cv32e40p_verif/cv32e40p_verif.git (fetch)
+> metrics	git@gitlab.openhwgroup.metrics.ca:cv32e40p_verif/cv32e40p_verif.git (push)
+> origin	https://github.com/openhwgroup/core-v-verif (fetch)
+> origin	https://github.com/openhwgroup/core-v-verif (push)

README.md

@@ -32,9 +32,6 @@ To run CVA6 testbench, go to [cva6](cva6) directory and read the README.
 ### bin
 Various utilities for running tests and performing various verification-related activities in the core-v-verif repository.
 
-### ci
-Scriptware for user regression tests and an explainer for the Metrics continuous integration flow used by CORE-V-VERIF.
-
 ### core-v-cores
 Empty sub-directory into which the RTL from one or more of the [CORE-V-CORES](https://github.com/openhwgroup/core-v-cores) repositories is cloned.