Re: [kde-community] Official KDE mirror on github

2015-09-17 Thread David Edmundson
On Thu, Sep 17, 2015 at 1:12 PM, Patrick von Reth wrote: > 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. > S

Re: [kde-community] Official KDE mirror on github

2015-09-17 Thread Riccardo Iaconelli
On Monday, August 17, 2015 07:46:44 AM Martin Graesslin wrote: > Hi community, > > over the last months I observed the following: > * people not finding our git repositories > * people being surprised that our code is not on github > * some projects starting to use github in addition to our own in

Re: [kde-community] Official KDE mirror on github

2015-09-17 Thread Boudhayan Gupta
Hi, I've divided the scripting into two parts - a python script to check for a repo's existence on github, and create the repo if it doesn't exist, and a patch to post-update to actually push a mirror copy of the repo to github. There's a small policy decision to make here. To auth with GitHub we

Re: [kde-community] Official KDE mirror on github

2015-09-17 Thread Patrick von Reth
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

Re: [kde-community] Official KDE mirror on github

2015-09-17 Thread David Edmundson
On Thu, Sep 17, 2015 at 10:03 AM, Ben Cooksley wrote: > On Thu, Sep 17, 2015 at 12:57 AM, David Edmundson > 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

Re: [kde-community] Official KDE mirror on github

2015-09-17 Thread Ben Cooksley
On Thu, Sep 17, 2015 at 12:57 AM, David Edmundson 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... > > Da