[kde-community] Official KDE mirror on github
Patrick von Reth
vonreth at kde.org
Thu Sep 17 12:12:34 UTC 2015
Hm I have an existing github mirror with some stars. Instead of
creating a new mirror I'd prefer to just set KDE to the new owner of
I guess this is not the only project where that kind of migration is preferable.
So what to do for those projects?
On 17 September 2015 at 13:06, David Edmundson
<david at davidedmundson.co.uk> wrote:
> On Thu, Sep 17, 2015 at 10:03 AM, Ben Cooksley <bcooksley at kde.org> wrote:
>> On Thu, Sep 17, 2015 at 12:57 AM, David Edmundson
>> <david at davidedmundson.co.uk> wrote:
>> > I am great.
>> > https://github.com/kde is now ours.
>> Well done, that was quick. Anyone volunteers to write the script which
>> mirrors the repositories up to Github?
>> For now, let's not worry about cleaning up destroyed repositories...
> Gnome were kind enought to leave their script public, so I just did
> Only thing I'm missing is automatically filling in the descriptions.
> Means we'll push only mirror to github as and when someone makes a commit to
> each repo, but that should be enough.
>> > David
>> > _______________________________________________
>> > kde-community mailing list
>> > kde-community at kde.org
>> > https://mail.kde.org/mailman/listinfo/kde-community
>> kde-community mailing list
>> kde-community at kde.org
> kde-community mailing list
> kde-community at kde.org
More information about the kde-community