[hatari-devel] deprecation warning in .github/workflows/repo-sync.yml

[Nicolas Pomarède <npomarede@xxxxxxxxxxxx>]

Hi

Thomas, when lookng at logs for each actions/runs on the github copy of 
Hatari's repo, there's a warning :

https://github.com/hatari/hatari/actions/runs/8711023403

It seems that line 13 :
 uses: actions/checkout@v3
should be changed to :
 uses: actions/checkout@v4

github tells this will remain a warning until spring 2024, maybe giving 
an error after that.

Nicolas