PR #5557: Update for Pull Shark badge#120

tobiasklein8 wants to merge 1 commit intomaintobiasklein8/test:mainfrom

pull-shark-110-8378tobiasklein8/test:pull-shark-110-8378Copy head branch name to clipboard