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

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