Drop docs from this repo #12599

Merged
jnsamyak merged 1 commit from kill-docs into main 2025-04-15 18:03:45 +00:00
Member

These docs are now maintained in the infra-docs-fpo repo -
currently https://pagure.io/infra-docs-fpo - and rendered at
https://docs.fedoraproject.org/en-US/infra/ .

Signed-off-by: Adam Williamson awilliam@redhat.com

These docs are now maintained in the infra-docs-fpo repo - currently https://pagure.io/infra-docs-fpo - and rendered at https://docs.fedoraproject.org/en-US/infra/ . Signed-off-by: Adam Williamson <awilliam@redhat.com>
Author
Member

note I sent this PR as @kevin said these should be removed, but it does seem like some things in them aren't precisely covered in the infra docs, e.g. docs/source/contributing.rst . Not sure if we care about that.

note I sent this PR as @kevin said these should be removed, but it does seem like some things in them aren't *precisely* covered in the infra docs, e.g. docs/source/contributing.rst . Not sure if we care about that.
Owner

I think we should just delete it, those things should be covered on the main infra docs now that we consolidateed them into the same place.

@jnsamyak @humaton thoughts?

I think we should just delete it, those things should be covered on the main infra docs now that we consolidateed them into the same place. @jnsamyak @humaton thoughts?
Author
Member

note if we merge this, someone should also get rid of https://pagure.io/docs/releng/ (however exactly that happens - settings in the project?) and make the Docs tab go away or link to docs.fp.o.

note if we merge this, someone should also get rid of https://pagure.io/docs/releng/ (however exactly that happens - settings in the project?) and make the Docs tab go away or link to docs.fp.o.
Member

I'm for deleting it, less places to look for documentation would be better. Especially if this one is not updated for some time.

I'm for deleting it, less places to look for documentation would be better. Especially if this one is not updated for some time.
Owner

Look good, but I think @jnsamyak should give this blessing. At least to acknowledge that it is going away.

Look good, but I think @jnsamyak should give this blessing. At least to acknowledge that it is going away.
Owner

Apologies, yeah this should be long gone!

Apologies, yeah this should be long gone!
Owner

Ok merging this, I have removed the docs section from the settings, README is already pointing to the correct link so all sorted

Ok merging this, I have removed the docs section from the settings, README is already pointing to the correct link so all sorted
Owner

rebased onto eb82e654c5

rebased onto eb82e654c53cf061285b47363852b84a187935a8
Owner

Pull-Request has been merged by jnsamyak

Pull-Request has been merged by jnsamyak
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
5 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
releng/tickets!12599
No description provided.