title = Cloning a repo
cards = clone commit-auto reset-hard checkout file-new branch

[description]

Your friend has a problem! Clone the repo located in `../friend`, create a branch called "solution", and fix the problem in this branch. When you're ready, make a "Pull Request" by using `git tag pr`.


[setup]

rm -rf .git

[setup friend]

echo "2 + 3 = " > file
git add .
git commit -m "Initial commit"

[actions friend]

git ls-remote yours | grep pr && git fetch yours && git merge yours/solution
git show main:file | grep 5 && hint "Thanks!"

[win friend]

git show main:file | grep 5