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

@aa0434c

Stages:

• 🟠 x86_64-debian-13-4.14
• 🟠 arm64-debian-13-4.14
• 🟠 x86_64-debian-13-5.3
• 🟠 arm64-debian-13-5.3

History:

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