[CentOS-docs] GSoC - Syncing docs between GitHub and CentOS's git repo

Hi! I am applying for Google Summer of Code 2015 with a project creating a new doc toolchain for CentOS. I plan to use GitHub to store a copy of the documentation, and users can send fork / send PR to this repo. Then a server program monitors this repo and syncs changes between GitHub and

Re: [CentOS-docs] GSoC - Syncing docs between GitHub and CentOS's git repo

Hi Kunal! Thanks for your reply! I think the official mirroring is a great method because of higher efficiency. Another thing I am trying to solve is how to retrieve and store all the discussion / issue / PR on GitHub? These functions are great for a doc toolchain. However we shouldn’t rely

Re: [CentOS-docs] GSoC - Syncing docs between GitHub and CentOS's git repo

Hi! I think we may combine these method of discussion. As the project is aimed at short-term contributors and attracting new contributors, we should make the process as easy as possible. I agree with Kunal. Among these three options, I recommend modifying and using an existing open source

Re: [CentOS-docs] Finished a prototype of GSoC project: Implement a new doc toolchain

Hi Pierre, Thank you very much! So as far as I know, currently, you are using web-hooks to do sync between pagure and github. Did you consider using the underlying requests repo of the project? Yes, I also think it is the best way to track PRs. GitHub PRs are equivalents of Pagure