> 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. Regards, bex > > kevin > _______________________________________________ > docs mailing list -- docs@xxxxxxxxxxxxxxxxxxxxxxx > To unsubscribe send an email to docs-leave@xxxxxxxxxxxxxxxxxxxxxxx _______________________________________________ docs mailing list -- docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to docs-leave@xxxxxxxxxxxxxxxxxxxxxxx
