[kde-community] Have repo maintainers opt-in for github mirroring (was: Re: Official KDE mirror on github)
bcooksley at kde.org
Fri Sep 18 22:20:36 UTC 2015
On Sat, Sep 19, 2015 at 10:02 AM, Martin Steigerwald
<martin at lichtvoll.de> wrote:
> Hello Friedrich,
> Am Freitag, 18. September 2015, 23:22:41 CEST schrieb Friedrich W. H.
>> For the first, my answer is not: mirror on github, but rather: make this
>> info better accessable (heck, perhaps simply put in the About dialog, in a
>> new tab "Developers").
> I think its even possible to just mentioning that in any github.com/kde page.
> "You are looking for our code on github.com?
> We don´t use github.com due to …, but you can find out code on … and we also
> have a nice way to provide reviews in … and our task and project management is
> at …
> We look forward to your contributions."
> So I see no need to provide an actual mirror of the source code in order to
> point to KDE infrastructure.
Unfortunately they have a limit on the description length we can place
there of 120 characters.
> I was a bit confused as first there was talk about disabling pull requests.
> Yet now the github.com/kde mirror is up, but I also read its not possible to
> disable pull requests. I´d expected that someone would check this before the
I was under the impression they were disabled by the options we had
selected. Unfortunately that is not the case.
> Anyway, for bug triaging I will just look at bugzilla for now. And since I
> didn´t write more than a few lines of code so far, except for this idea I
> leave this discussion to those who contributed more code.
Github Issues are not enabled, so this won't be a problem.
> kde-community mailing list
> kde-community at kde.org
More information about the kde-community