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
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
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
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
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
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
