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: > > > >> > 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. 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
Attachment:
pgp0hwJrT9AId.pgp
Description: OpenPGP digital signature
_______________________________________________ docs mailing list -- docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to docs-leave@xxxxxxxxxxxxxxxxxxxxxxx
