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

@4dc4957

Stages:

• ❌ x86_64-debian-13-4.14 (3m09s)
• ❌ arm64-debian-13-4.14 (1m31s)
• ❌ x86_64-debian-13-5.3 (8m52s)
• ❌ arm64-debian-13-5.3 (1m32s)

History:

• 03/09/2025 11:28 ✔️ @aa0434c (15m32s)
• 03/09/2025 09:14 ❌ @4dc4957 (8m52s)
• 18/05/2025 12:24 ❌ @adbc3de (52m48s)