On Sat, 04 Mar 2017 18:44:55 -0500
Zach Oglesby <zach(a)oglesby.co> wrote:
On March 4, 2017 6:02:43 PM EST, Kevin Fenzi <kevin(a)scrye.com>
wrote:
>On Sat, 4 Mar 2017 23:56:56 +0100
>"Brian (bex) Exelbierd" <bex(a)pobox.com> wrote:
>
>> > On Mar 4, 2017, at 10:47 PM, Kevin Fenzi <kevin(a)scrye.com> wrote:
>> >
>> > Greetings.
>> >
>> > I know there's plans in progress to replace the fedoraproject
>> > docs, but the current process was:
>> >
>> > Someone pulls docs git repo from fedorahosted
>> > Someone runs publican and pushes out the completed stuff to git
>> > repo. We sync that git repo and push it out to our proxies.
>> >
>> > However,
fedorahosted.org is now retired.
>> >
>> > So, what do we want to do here?
>> >
>> > * Setup a pagure repo that has the same data as the
>> > fedorahosted
>one
>> > did and use that until we replace it.
>> >
>> > * Just don't worry about it now, and try and get a replacement
>> > pipeline in place.
>> >
>> > * Something else.
>>
>> The repos have all been migrated as far as I know.
>
>Ah ha.
>
>I missed it because of the name:
>
>https://pagure.io/docs-fp-o/
>
>ok, thanks and sorry for the noise.
>
>kevin
Publishing still happens from the fedorahosted repo unless some one
changed it and I don't recall that happening.
Well, since fedorahosted is retired, there will not be any publishing
from there. ;)
But if you mean infrastructure still pulls from there, yeah. I can
change it to use the above pagure repo.
kevin