On March 4, 2017 7:01:43 PM EST, Kevin Fenzi kevin@scrye.com wrote:
On Sat, 04 Mar 2017 18:44:55 -0500 Zach Oglesby zach@oglesby.co wrote:
On March 4, 2017 6:02:43 PM EST, Kevin Fenzi kevin@scrye.com wrote:
On Sat, 4 Mar 2017 23:56:56 +0100 "Brian (bex) Exelbierd" bex@pobox.com wrote:
On Mar 4, 2017, at 10:47 PM, Kevin Fenzi kevin@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
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
Sorry was writing that just before taking off on a flight. As far as I am aware the git repo for docs web is still configured to pull fedorahosted.