git remote add origin https://github.com/aboussouf/java17-tdd.git git branch -M main git push -u origin main Credit to the first sample of pitest: https://github.com/hcoles/pitest