Retract previously opened Pull Request#3488

mzuehlke merged 2 commits intomainscala-steward-org/scala-steward:mainfrom

retractionscala-steward-org/scala-steward:retractionCopy head branch name to clipboard