use the new way of setting the output

fixes #4616

Author: vladak

dev/ref2tag.sh

@@ -1,4 +1,4 @@
 #!/bin/bash
 
 tag=${OPENGROK_REF#"refs/tags/"}
-echo "::set-output name=tag::$tag"
+echo "tag::$tag" >> $GITHUB_OUTPUT