
15 Jul
2014
15 Jul
'14
4:13 a.m.
I used stash to avoid creating and then deleting a branch. No deeper reason. Simon | -----Original Message----- | From: Jan Stolarek [mailto:jan.stolarek@p.lodz.pl] | Sent: 15 July 2014 08:53 | To: ghc-devs@haskell.org | Cc: Simon Peyton Jones; Herbert Valerio Riedel; 'Austin Seipp' | Subject: Re: Updating Haddock submodule | | Simon, | | I'm surprised that you used 'git stash'/'git stash pop'. Why not use a | branch and then merge it into master (possibly with rebasing)? That's | what I would do. But if for some reason it is necessary to use 'git | stash' then it would be good to have that reason documented in the | workflow as well. | | Janek