RFE: Migration zsh git repo to github or gitlab

RFE: Migration zsh git repo to github or gitlab

[Tomasz Kłoczko]

[-- Attachment #1: Type: text/plain, Size: 257 bytes --]

Is it possible to migrate zsh git repo to github or gitlab?
Sf web frontend is recently so slow and it does not allow to download exact
git commit over https://

kloczek
-- 
Tomasz Kłoczko | LinkedIn: *http://lnkd.in/FXPWxH <http://lnkd.in/FXPWxH>*

Re: RFE: Migration zsh git repo to github or gitlab

[Mikael Magnusson]

There are already mirrors on github, for example
https://github.com/zsh-users/zsh

On 7/21/20, Tomasz Kłoczko <kloczko.tomasz@gmail.com> wrote:
> Is it possible to migrate zsh git repo to github or gitlab?
> Sf web frontend is recently so slow and it does not allow to download exact
> git commit over https://
>
> kloczek
> --
> Tomasz Kłoczko | LinkedIn: *http://lnkd.in/FXPWxH <http://lnkd.in/FXPWxH>*
>


-- 
Mikael Magnusson

Re: RFE: Migration zsh git repo to github or gitlab

[Daniel Shahaf]

And gitlab https://gitlab.com/zsh-org/zsh

Mikael Magnusson wrote on Tue, 21 Jul 2020 21:39 +0200:
> There are already mirrors on github, for example
> https://github.com/zsh-users/zsh
> 
> On 7/21/20, Tomasz Kłoczko <kloczko.tomasz@gmail.com> wrote:
> > Is it possible to migrate zsh git repo to github or gitlab?
> > Sf web frontend is recently so slow and it does not allow to download exact
> > git commit over https://
> >
> > kloczek
> > --
> > Tomasz Kłoczko | LinkedIn: *http://lnkd.in/FXPWxH <http://lnkd.in/FXPWxH>*
> >  
> 
> 

Re: RFE: Migration zsh git repo to github or gitlab

[Tomasz Kłoczko]

[-- Attachment #1: Type: text/plain, Size: 408 bytes --]

On Tue, 21 Jul 2020 at 20:39, Mikael Magnusson <mikachu@gmail.com> wrote:

> There are already mirrors on github, for example
> https://github.com/zsh-users/zsh


Thx for the update. It would be nice to add that info to zsh web page :)

What about make that repo as not only mirror but main on and enable
submitting issue tickets?

kloczek
-- 
Tomasz Kłoczko | LinkedIn: http://lnkd.in/FXPWxH

Re: RFE: Migration zsh git repo to github or gitlab

[Daniel Shahaf]

Tomasz Kłoczko wrote on Tue, 21 Jul 2020 20:08 +00:00:
> On Tue, 21 Jul 2020 at 20:39, Mikael Magnusson <mikachu@gmail.com> wrote:
> 
> > There are already mirrors on github, for example
> > https://github.com/zsh-users/zsh
> 
> 
> Thx for the update. It would be nice to add that info to zsh web page :)

Agreed.

> What about make that repo as not only mirror but main on and enable
> submitting issue tickets?

You're coupling two independent matters: where the issue tracker lives
has nothing to do with which repository is the "main" one.  Also, you
haven't actually mentioned what purpose you think enabling github issues
would achieve.

In any case:

I don't see a reason to move the "main" repository.  Such a move
wouldn't affect anyone who doesn't have push access, other than the
mirrors' admins.

I am sceptical about enabling submitting github issues from the public.
Fewer people triage pull requests than triage emailed patches.  That
being the case, I am concerned that enabling issues would basically
leave them for Oliver and me to handle, which would be a poor way to
divide the overall maintenance workload.

The question of a bug tracker was discussed a number of times before.
The conclusion was that we'd like something that integrates with our
existing workflow.