RepublicCoin git repos