Fix #1703#1718

odersky merged 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#1703dotty-staging/dotty:fix-#1703Copy head branch name to clipboard