On March 4, 2017 7:01:43 PM EST, Kevin Fenzi <kevin@xxxxxxxxx> wrote:
On Sat, 04 Mar 2017 18:44:55 -0500
Zach Oglesby <zach@xxxxxxxxxx> wrote: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:
oneOn 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
fedorahosteddid 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
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.
_______________________________________________ docs mailing list -- docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to docs-leave@xxxxxxxxxxxxxxxxxxxxxxx
