Re: Add a mirror to github
On 2/18/16 1:10 AM, konsolebox wrote: > On Tue, Feb 16, 2016 at 4:25 AM, Chet Ramey wrote: >> On 2/14/16 1:41 AM, konsolebox wrote: >>> Hi Chet, >>> >>> Please consider adding a mirror of bash's git repo in github.com. It >>> would be easier for many people in the community to contribute code >>> and discuss it there. >> >> There's nothing stopping people from doing that now, and I'd rather >> discussions take place on this list. > > Well there's no meaning to it unless it's official and that you > participate in talking about the contributed patches and issues people > choose to post in there, but I accept your decision. I have a limited time to read and respond to issues, and I prefer to funnel those through the official mailing list. -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRUc...@case.eduhttp://cnswww.cns.cwru.edu/~chet/
Re: Add a mirror to github
On Tue, Feb 16, 2016 at 4:25 AM, Chet Ramey wrote: > On 2/14/16 1:41 AM, konsolebox wrote: >> Hi Chet, >> >> Please consider adding a mirror of bash's git repo in github.com. It >> would be easier for many people in the community to contribute code >> and discuss it there. > > There's nothing stopping people from doing that now, and I'd rather > discussions take place on this list. Well there's no meaning to it unless it's official and that you participate in talking about the contributed patches and issues people choose to post in there, but I accept your decision. -- konsolebox
Re: Add a mirror to github
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 2/15/16 9:49 AM, Eric Blake wrote: > In other words, if you DO add a github mirror, discussion of patches > will still need to take place on this list, and not move to github. The authoritative place for discussions about bash will remain this list regardless of whether or not someone sets up a mirror on github. Chet - -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRUc...@case.eduhttp://cnswww.cns.cwru.edu/~chet/ -BEGIN PGP SIGNATURE- Version: GnuPG v2 iEYEARECAAYFAlbCNMsACgkQu1hp8GTqdKu49wCggIFpBgah/o1Goex7LLRqaTCx VvwAnRCPbwY5LqvxxXWe2r98nGClMU1o =KEB3 -END PGP SIGNATURE-
Re: Add a mirror to github
On 2/14/16 1:41 AM, konsolebox wrote: > Hi Chet, > > Please consider adding a mirror of bash's git repo in github.com. It > would be easier for many people in the community to contribute code > and discuss it there. There's nothing stopping people from doing that now, and I'd rather discussions take place on this list. -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRUc...@case.eduhttp://cnswww.cns.cwru.edu/~chet/
Re: Add a mirror to github
On 15/02/16 17:53, strom...@gmail.com wrote: > On Monday, February 15, 2016 at 6:19:56 AM UTC-8, Chet Ramey wrote: >> How does setting up a different place for people to get the code >> contribute to a software monoculture? > github is becoming too popular for free software's own good. > > It's to the point that some people feel like if it's not on github, it's not > worth looking at. I think hosting on a site like GitLab or BitBucket might be a good compromise. It's essentially the same thing: a fancy web interface that obviates the need for locally checked-out code. GitLab's community edition is free software, and there are several online instances of that software separate from GitLab's main website (which runs the nonfree version). It's a vain hope of mine that adding popular projects to hosts other than GitHub might stop people from conflating "git" (the tool) with "GitHub" (the website). Unfortunately I don't think that will ever happen. All that said, I don't see what tangible benefit you would get from mirroring the source repo on any of those sites. I don't think it vastly improves readability, and since they all lack features like jumping to symbol definitions, in the case of multiple files it greatly harms readability compared to bog-standard vim with ctags. The only thing you'd get out of it really is an issue tracker, and I doubt people are going to move all discussion to some external website without a good reason to do so. signature.asc Description: OpenPGP digital signature
Re: Add a mirror to github
What's wrong with just using git://git.savannah.gnu.org/bash.git ? Why github.com? Granted, it's popular. Of course, you could simply make your own fork of the savannah repository on Github yourself. Why expect Chet to do it? You could do something like: git clone git://git.savannah.gnu.org/bash.git cd bash git remote add github g...@github.com:konsolebox:/bash.git git push --mirror github #assumes you've create bash.git repo Then, using a CRON table entry, run a daily script similar to: #!/bin/sh cd ~/bash git pull origin && \ git push --mirror github On Sun, Feb 14, 2016 at 12:41 AM, konsolebox wrote: > Hi Chet, > > Please consider adding a mirror of bash's git repo in github.com. It > would be easier for many people in the community to contribute code > and discuss it there. > > -- > konsolebox > > -- The man has the intellect of a lobotomized turtle. Maranatha! <>< John McKown
Re: Add a mirror to github
On Monday, February 15, 2016 at 6:19:56 AM UTC-8, Chet Ramey wrote: > On 2/14/16 12:53 PM, strom...@gmail.com wrote: > > On Saturday, February 13, 2016 at 10:42:37 PM UTC-8, konsolebox wrote: > >> Hi Chet, > >> > >> Please consider adding a mirror of bash's git repo in github.com. It > >> would be easier for many people in the community to contribute code > >> and discuss it there. > > > > Chet probably has his own thoughts on this, but IMNSHO, software > > monoculture is bad. > > How does setting up a different place for people to get the code contribute > to a software monoculture? github is becoming too popular for free software's own good. It's to the point that some people feel like if it's not on github, it's not worth looking at.
Re: Add a mirror to github
On 02/13/2016 11:41 PM, konsolebox wrote: > Hi Chet, > > Please consider adding a mirror of bash's git repo in github.com. It > would be easier for many people in the community to contribute code > and discuss it there. Add your own mirror. Nothing is stopping you from doing it. But the canonical upstream repo should NOT live on github.com, since that site actively promotes the use of non-free software. I don't care if you want to pull from github, but I do care if you make me try to use github's add-on features above and beyond what I can already do using only free software without using github. In other words, if you DO add a github mirror, discussion of patches will still need to take place on this list, and not move to github. -- Eric Blake eblake redhat com+1-919-301-3266 Libvirt virtualization library http://libvirt.org signature.asc Description: OpenPGP digital signature
Re: Add a mirror to github
On 2/14/16 12:53 PM, strom...@gmail.com wrote: > On Saturday, February 13, 2016 at 10:42:37 PM UTC-8, konsolebox wrote: >> Hi Chet, >> >> Please consider adding a mirror of bash's git repo in github.com. It >> would be easier for many people in the community to contribute code >> and discuss it there. > > Chet probably has his own thoughts on this, but IMNSHO, software monoculture > is bad. How does setting up a different place for people to get the code contribute to a software monoculture? Chet -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, ITS, CWRUc...@case.eduhttp://cnswww.cns.cwru.edu/~chet/
Re: Add a mirror to github
On Mon, Feb 15, 2016 at 1:53 AM, wrote: > On Saturday, February 13, 2016 at 10:42:37 PM UTC-8, konsolebox wrote: >> Hi Chet, >> >> Please consider adding a mirror of bash's git repo in github.com. It >> would be easier for many people in the community to contribute code >> and discuss it there. > > Chet probably has his own thoughts on this, but IMNSHO, software monoculture > is bad. Perhaps, but it's not like that if you're just adding another convenient place to contribute and collaborate. -- konsolebox
Re: Add a mirror to github
On Saturday, February 13, 2016 at 10:42:37 PM UTC-8, konsolebox wrote: > Hi Chet, > > Please consider adding a mirror of bash's git repo in github.com. It > would be easier for many people in the community to contribute code > and discuss it there. Chet probably has his own thoughts on this, but IMNSHO, software monoculture is bad.
Add a mirror to github
Hi Chet, Please consider adding a mirror of bash's git repo in github.com. It would be easier for many people in the community to contribute code and discuss it there. -- konsolebox