[plt-dev] Re: [plt] Push #20278: master branch updated

I'm curious how it actually happened.

On Fri, May 21, 2010 at 8:00 AM, Carl Eastlund <cce at ccs.neu.edu> wrote:
> On Thu, May 20, 2010 at 1:30 PM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>>
>> FUZZZ! How do I get list.rkt back? Stupid git, I want svn back.
>
> Matthew already fixed it, but... was this really a git problem, or
> just a "<user> has not learned git thoroughly yet" problem?  Because
> those were inevitable.  Granted, we're getting a lot more than the cvs
> -> svn switch, because svn was designed as a drop-in cvs replacement,
> but git was not designed as a drop-in svn replacement.
>
> --Carl
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93