infra-docs-fpo

#158 Some pages got lost during docs migration
Closed by zlopez. Opened by lucab.

Closed
Reopen Issue

Today I was looking for a SOP page (that I already know existed), but could not find it on https://docs.fedoraproject.org/en-US/infra/.

The page I was looking for is sysadmin-guide/sops/coreos-cincinnati.rst, which existed in the main branch of the old infra-docs repository. It was introduced in https://pagure.io/infra-docs/c/5fc2794cb27e8b88e3b4e2dac671102cb413bb66?branch=main.

Looking into this new post-migration repository, I couldn't find this page anywhere. It looks like the content simply got lost, possibly as a result of the migration.
While I can manually re-add this specific one, I'm not sure if there are more pages affected.

When the migration was done, we decided to not migrate some of them. You can see the initial work here https://pagure.io/infra-docs-fpo/pull-request/7

But it seems like the coreos-cincinnati is not one of those.

I found it, this was added after the migration already started, this explains, why it's missing https://pagure.io/infra-docs/c/5fc2794cb27e8b88e3b4e2dac671102cb413bb66?branch=main

I see. Do you plan to do a broader pass to catch/recover any other missing items, or should I go ahead and re-add that single page?

It seems that the coreos-cincinnati is the only page missing. If you have time to add it, it would be great.

The PR for coreos-cincinnati was merged 8 months ago, let's close this issue.

Metadata Update from @zlopez:
- Issue status updated to: Closed (was: Open)
Metadata
None
None
None
None
None
Related Pull Requests
Static archive. pagure.io was sunset in 2026; this is a read-only snapshot.
Red Hat Logo

Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »

© Red Hat, Inc. and others.