community/github-cli: upgrade to 2.13.0

8 jobs for !35608 with github-cli in 3 minutes and 15 seconds (queued for 1 second)
merge request