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.