Aktualigo actions/github-script

[wdiestel]

La uzata ago github-script ne plu funkcios baldaŭ (somero 2023), vd.

• https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/
• https://github.com/actions/github-script

La sintakso por github-script ŝanĝiĝis, do ni devos ĝin ankaŭ aktualigi - ne nur la version. Eble provu unue en revo-fonto-test por ne krei fuŝon.