[kde-community] Official KDE mirror on github

Riccardo Iaconelli riccardo at kde.org
Sat Sep 19 15:36:13 UTC 2015

On Saturday, September 19, 2015 04:26:04 PM Luigi Toscano wrote:
> But that's not using the pull request. Such workflow would mean that the
> pull request is not accepted anyway, but the code is pushed through the
> infrastructure and not trough Github interface.
> Just to be sure, question for Vishes, Albert Vaca, Jaroslaw: can you please
> explain exactly what is the meaning of "use Github"? Do we all agree that in
> any way pull requests will never be merged directly through Github
> interface?

Personally speaking, yes, they will never be merged directly through Github.

Github mirrors should be read-only, accepting pull requests (or maybe we 
should call them "fetch requests") shouldn't make them read-write.


More information about the kde-community mailing list