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.