[kde-community] Official KDE mirror on github
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.
More information about the kde-community