fix: strip credentials from the recorded git origin url - #260

fix: strip credentials from the recorded git origin url#260

machshev merged 1 commit into

lowRISC:masterlowRISC/dvsim:masterfrom

martin-velay:fix_credentialsmartin-velay/dvsim:fix_credentialsCopy head branch name to clipboard