[kde-community] Official KDE mirror on github

David Edmundson david at davidedmundson.co.uk
Thu Sep 17 11:06:26 UTC 2015


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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kde-community/attachments/20150917/28555004/attachment.html>


More information about the kde-community mailing list