View source for PMC proposals/Move Apertium to Github

===Agree===
* [[User:Tino Didriksen|Tino Didriksen]] ([[User talk:Tino Didriksen|talk]]) 13:32, 4 February 2018 (CET)
* [[User:Xavivars|Xavi Ivars]] ([[User talk:Xavivars|talk]]) 14:04, 4 February 2018 (CET)
* [[User:Firespeaker|Firespeaker]] ([[User talk:Firespeaker|talk]]) 17:28, 4 February 2018 (CET)
** Mikel's comments and questions are good—I'd like to see the questions addressed, but am otherwise on board. Also, would it make sense to host the repository organising page on github.io?  I think I saw something like this recently that some other org had set up, but I don't remember where.
*** This would work. I'm happy to set that up. Presumably the repo with this page would also have the scripts to keep the submodules up-to-date, etc. We can have a redirect or reverse proxy of it from the apertium.org site. I have also responded to Mikel's comments. -- [[User:Sushain|Sushain]] ([[User talk:Sushain|talk]]) 17:45, 4 February 2018 (CET)
*** I also think the github.io page is a good idea. [https://pages.github.com/ Github Pages] makes it so that the organization 'apertium' gets the domain 'apertium.github.io' to host anything we want. Also, we can have unlimited pages for 'projects', such as 'apertium.github.io/tools' if needed. [[User:Shardulc|Shardulc]] ([[User talk:Shardulc|talk]]) 18:50, 4 February 2018 (CET)
* [[User:mlforcada|Mikel Forcada]]