Fix CI - ftp.gnu.org unreachable

Description

This fixes the current CI blocker where examples/junctions tries to reach ftp.gnu.org.

Changes proposed in this merge request:

• Switch to https://ftpmirror.gnu.org/ as recommended by @jjardon

This merge request, when approved, will close issue/bug: N/A

---

enabled an automatic merge when the pipeline for cc22fbda succeeds

added 1 commit

• 8b4d705d - examples: Switch ftp.gnu.org to mirror

Compare with previous version

approved this merge request

Looks good to me.

added 8 commits

• 8b4d705d...c52f6f9a - 7 commits from branch master
• e6457725 - examples: Switch ftp.gnu.org to mirror

Compare with previous version

enabled an automatic merge when the pipeline for e6457725 succeeds

merged

mentioned in commit 9f675c64

mentioned in merge request !668 (merged)