Re: [commit: dph] branch 'HEAD' created

2011-06-20 Thread Manuel M T Chakravarty
nsw.edu.au] > Sent: 20 June 2011 13:23 > To: Simon Peyton-Jones > Cc: Simon Marlow; n...@cse.unsw.edu.au; cvs-ghc@haskell.org > Subject: Re: [commit: dph] branch 'HEAD' created > > Simon Peyton-Jones: >> HEAD is part of git. It means "the current branch"

RE: [commit: dph] branch 'HEAD' created

2011-06-20 Thread Simon Marlow
eyton-Jones Cc: Simon Marlow; n...@cse.unsw.edu.au; cvs-ghc@haskell.org Subject: Re: [commit: dph] branch 'HEAD' created Simon Peyton-Jones: > HEAD is part of git. It means "the current branch". > http://stackoverflow.com/questions/2304087/what-is-git-head-exactly > &g

Re: [commit: dph] branch 'HEAD' created

2011-06-20 Thread Manuel M T Chakravarty
n one. > error: failed to push some refs to 'http://darcs.haskell.org/packages/dph.git' Manuel > | -Original Message- > | From: Manuel M T Chakravarty [mailto:c...@cse.unsw.edu.au] > | Sent: 19 June 2011 13:00 > | To: Simon Marlow > | Cc: n...@cse.unsw.edu.au > | Sub

RE: [commit: dph] branch 'HEAD' created

2011-06-20 Thread Simon Peyton-Jones
#x27;ing in the repo I pushed from :/ | | Can we maybe get rid of all the HEAD (alias) branches to avoid such mistakes? | | Manuel | | | Simon Marlow: | > Do you really want a branch called 'HEAD'? That's likely to cause confusion surely? | > | > Cheers, | > Simon | >