zsh-workers
 help / color / Atom feed
* RFE: Migration zsh git repo to github or gitlab
@ 2020-07-21 19:06 Tomasz Kłoczko
  2020-07-21 19:39 ` Mikael Magnusson
  0 siblings, 1 reply; 5+ messages in thread
From: Tomasz Kłoczko @ 2020-07-21 19:06 UTC (permalink / raw)
  To: zsh-workers


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

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: RFE: Migration zsh git repo to github or gitlab
  2020-07-21 19:06 RFE: Migration zsh git repo to github or gitlab Tomasz Kłoczko
@ 2020-07-21 19:39 ` Mikael Magnusson
  2020-07-21 20:06   ` Daniel Shahaf
  2020-07-21 20:08   ` Tomasz Kłoczko
  0 siblings, 2 replies; 5+ messages in thread
From: Mikael Magnusson @ 2020-07-21 19:39 UTC (permalink / raw)
  To: Tomasz Kłoczko; +Cc: zsh-workers

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

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: RFE: Migration zsh git repo to github or gitlab
  2020-07-21 19:39 ` Mikael Magnusson
@ 2020-07-21 20:06   ` Daniel Shahaf
  2020-07-21 20:08   ` Tomasz Kłoczko
  1 sibling, 0 replies; 5+ messages in thread
From: Daniel Shahaf @ 2020-07-21 20:06 UTC (permalink / raw)
  To: Mikael Magnusson; +Cc: Tomasz Kłoczko, zsh-workers

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


^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: RFE: Migration zsh git repo to github or gitlab
  2020-07-21 19:39 ` Mikael Magnusson
  2020-07-21 20:06   ` Daniel Shahaf
@ 2020-07-21 20:08   ` Tomasz Kłoczko
  2020-07-22  5:57     ` Daniel Shahaf
  1 sibling, 1 reply; 5+ messages in thread
From: Tomasz Kłoczko @ 2020-07-21 20:08 UTC (permalink / raw)
  To: Mikael Magnusson; +Cc: zsh-workers


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

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: RFE: Migration zsh git repo to github or gitlab
  2020-07-21 20:08   ` Tomasz Kłoczko
@ 2020-07-22  5:57     ` Daniel Shahaf
  0 siblings, 0 replies; 5+ messages in thread
From: Daniel Shahaf @ 2020-07-22  5:57 UTC (permalink / raw)
  To: Tomasz Kłoczko, Mikael Magnusson; +Cc: zsh-workers

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.

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, back to index

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-07-21 19:06 RFE: Migration zsh git repo to github or gitlab Tomasz Kłoczko
2020-07-21 19:39 ` Mikael Magnusson
2020-07-21 20:06   ` Daniel Shahaf
2020-07-21 20:08   ` Tomasz Kłoczko
2020-07-22  5:57     ` Daniel Shahaf

zsh-workers

Archives are clonable: git clone --mirror http://inbox.vuxu.org/zsh-workers

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.zsh.workers


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git