chore: use diff action for ci script promotion#13662

Alizter merged 1 commit intoocaml:mainocaml/dune:mainfrom

Alizter:push-koktktqnnzpxAlizter/dune:push-koktktqnnzpxCopy head branch name to clipboard