[kde-community] Official KDE mirror on github
Patrick von Reth
vonreth at kde.org
Thu Sep 17 13:12:34 BST 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
the Project.
I guess this is not the only project where that kind of migration is preferable.
So what to do for those projects?
Cheers
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...
>>
>
> Done.
> https://paste.kde.org/p3nmyfp1e
>
> Gnome were kind enought to leave their script public, so I just did
> s/gnome/kde.
>
> 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
>
>>
>> >
>> > David
>>
>> Cheers,
>> Ben
>>
>> >
>> > _______________________________________________
>> > 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
>> https://mail.kde.org/mailman/listinfo/kde-community
>
>
>
> _______________________________________________
> kde-community mailing list
> kde-community at kde.org
> https://mail.kde.org/mailman/listinfo/kde-community
More information about the kde-community
mailing list