On March 4, 2017 6:02:43 PM EST, Kevin Fenzi <kevin@xxxxxxxxx> wrote:
On Sat, 4 Mar 2017 23:56:56 +0100
"Brian (bex) Exelbierd" <bex@xxxxxxxxx> wrote:On Mar 4, 2017, at 10:47 PM, Kevin Fenzi <kevin@xxxxxxxxx> 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.
_______________________________________________ docs mailing list -- docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to docs-leave@xxxxxxxxxxxxxxxxxxxxxxx
