[m-rev.] Converting to Git.

[Paul Bone]

On Mon, Dec 31, 2012 at 02:51:28PM +1100, Peter Ross wrote:
> On 31 December 2012 14:53, Paul Bone <paul at bone.id.au> wrote:
> > On Mon, Dec 31, 2012 at 02:26:09PM +1100, Peter Ross wrote:
> >> On 29 December 2012 18:24, Paul Bone <paul at bone.id.au> wrote:
> >> > On Fri, Dec 28, 2012 at 12:06:02PM +1100, Paul Bone wrote:
> >> >>
> >> >> It's finally time to convert the CVS repo to git.  I'll leave the CVS repo
> >> >> online so that cvs diff can be used to generate patches.  I will now begin
> >> >> the conversion which means I want to make the CVS repo read-only.
> >> >>
> >> >> Most people seem to either like git or be okay with the idea of git.  Hence
> >> >> I think it is probably the consensus that we would reach if I actually asked
> >> >> people what they wanted.
> >> >>
> >> >
> >> > Mercury is now converted to git and uploaded to github.
> >> >
> >> > https://github.com/organizations/Mercury-Language
> >> >
> >> > Peter, Julien and I are project members/owners for this on Github.  So any
> >> > of us should be able to add other owners/committers.
> >> >
> >> Is this organization private or something, when I try and go to it,
> >> github asks me to sign in and then it just drops me at my landing page
> >> for github.
> >
> > Members get commit access, so it is protected.  If you have a github account
> > I can add you.
> >
> Yes, I have github access (petdr or peter at emailross.com)
> 
> However assume I am a new contributor to Mercury how do I access the
> mercury git repo?  The above link doesn't work, it asks me to sign in
> and then as I'm not a member of the organization redirects me to my
> home page.  This I assume is not the intention.

I might have to test this for myself.

AFAIK github assumes that a new user will fork the repository, make any
changes they want. and then make a 'pull request' asking us (someone in the
organisation) to pull/review their changes.


-- 
Paul Bone
http://www.bone.id.au