[GAP Forum] GAP is now available on github.com

[Dima Pasechnik]

Dear Sandeep,

On Tue, Mar 03, 2015 at 09:53:42AM +1100, Sandeep Murthy wrote:
> In CONTRIBUTING.md I think you should consider changing the instructions to
> recommend HTTPS over plain Git for cloning - there’s no server verification with

github does not provide "plain" git protocol, so it is either https or ssh.
I'd recomment using ssh, as one can use ssh-agent to avoid typing the passphrase
over and over again. 

HTH,
Dima

> Git, whereas HTTPS does this using CAs, plus depending on where you are the
> Git protocol may not even work, whereas HTTPS generally works everywhere.
> Pushing via HTTPS requires your GitHub password and this is good for code
> integrity.
> 
> HTTPS is also GitHub's recommended protocol for cloning repos.
> 
> Sandeep Murthy
> s.murthy at mykolab.com
> 
> > On 3 Mar 2015, at 01:15, Markus Pfeiffer <markus.pfeiffer at morphism.de> wrote:
> > 
> > Dear all,
> > 
> > Since last Friday there exists an up-to-date copy of the GAP source code on
> > github.com under
> > 
> >  https://github.com/gap-system/gap
> > 
> > This will be the official development repository for GAP as of now, and GAP
> > 4.8 and all future versions of GAP will be made from this repository.
> > 
> > For those interested in HPC-GAP there is a branch in the repository that
> > contains the current source code of HPC-GAP. Alas, at this point it doesn't
> > compile as it is from the repository as it is missing a dependency. We hope to
> > resolve this very soon.
> > 
> > We invite everyone to contribute bugreports, bugfixes, documentation,
> > documentation fixes, and code to GAP via so-called "issues" and "pull requests"
> > on github.
> > 
> > There is some guidance on how we would like contributions to work in the file
> > 
> >  https://github.com/gap-system/gap/blob/master/CONTRIBUTING.md
> > 
> > If you have any questions, or suggestions for GAP, the repository, or documentation,
> > feel free to contact us via the GAP mailing list gap at gap-system.org, or submit an
> > issue or a pull request on github.
> > 
> > We are looking forward to hearing from you!
> > 
> > Cheers,
> > Markus
> > _______________________________________________
> > Forum mailing list
> > Forum at mail.gap-system.org
> > http://mail.gap-system.org/mailman/listinfo/forum
> 


> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum