[kde-community] Official KDE mirror on github

Martin Sandsmark martin.sandsmark at kde.org
Mon Aug 17 09:53:18 UTC 2015


On Mon, Aug 17, 2015 at 08:48:15AM +0100, John Layt wrote:
> I would note from reading the Gnome wiki on Github that you can't
> globally turn off pull requests for an organisation, you need to do it
> for each repo.

If we set up mirroring I assume we need to write something that automates
creating repos on github using the github API, and the API has a function to
disable issues. And if I understand the Github API docs correctly it treats
issues the same way as pull requests, so if you turn off issues for a project
you also disable pull requests.

-- 
Martin Sandsmark



More information about the kde-community mailing list