mirage/mirage: PR #1606: Use Git_net module instead of Git_mirage

@adbc3de

Stages:

• ❌ x86_64-debian-10-4.14 (7m45s)
• ❌ arm64-debian-10-4.14 (4m56s)
• ❌ x86_64-debian-10-5.2 (11m45s)
• ❌ arm64-debian-10-5.2 (3m57s)

History:

• 18/05/2025 12:24 ❌ @adbc3de (12m23s)