Migrate `civicrm-infra` to `infrastructure/ops`
Rationale: The docs in civicrm-infra
are aimed at the same people/use-cases as the issues in infrastructure/ops
Considerations:
- bgm points out that these docs should still be available during an outage. Mirroring gitlab=>github could do that.
- There is a feature built in to gitlab, but it requires the enterprise edition
- Probably would be straight-forward to add a CI job (Jenkins or maybe Gitlab) to automatically push changes to Github. (note this for managing keys)
- If mirroring, try to lock-down inputs on https://github.com/civicrm/civicrm-infra/settings