Dne 17.5.2017 v 15:14 Jeremy Cline napsal(a): > Hi, > > We've moved our documentation to Pagure[0] and turned it into a sphinx > project. The readme provides guidance on how to contribute, but if you > run into any trouble just let me know!> > [0] https://pagure.io/infra-docs/ OK I created PR. But I would propose to do in old infra-docs location: git rm -r * echo <<EOL This repository has been moved to https://pagure.io/infra-docs/ Please do: git reset --hard HEAD~1 git remote set-url origin https://pagure.io/infra-docs.git git pull EOL So people are not confused. -- Miroslav Suchy, RHCA Red Hat, Senior Software Engineer, #brno, #devexp, #fedora-buildsys _______________________________________________ infrastructure mailing list -- infrastructure@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to infrastructure-leave@xxxxxxxxxxxxxxxxxxxxxxx
