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:
ok, thanks and sorry for the noise.
kevin