[kde-community] Official KDE mirror on github
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...
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the kde-community