Compare commits

merge into: stud159646:main

Branches Tags

stud159646:main

stud179277:fix-my-name

stud179277:main

...

pull from: stud179277:fix-my-name

Branches Tags

stud179277:fix-my-name

stud179277:main

stud159646:main

These branches are equal. There is no need to create a pull request.