If you all decide on accepting PRs from Github. A Gentoo developer wrote a tool, Pull Request and Merge PRAM[1]. Its named Gentoo specific, but it is NOT Gentoo specific.
It pulls a PR from Github, commits it to some other repo and closes the PR on Github. Thus you can accept PRs from github, with a 1 way read only mirror. I think it could be useful. https://github.com/monsieurp/Gentoo-App-Pram P.S. Accepting PRs on github should be an option. Github has attracted a large community and may see more contributions opening up that channel. That seems to be the case for many other projects. Not being a Github fan boy. But it is amazing and impressive how many use it, including major companies moving all repos there. Unlike I have seen with any other source code hoster. -- William L. Thomson Jr.
pgpDB94nUfWBg.pgp
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ enlightenment-devel mailing list enlightenment-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/enlightenment-devel
