On Fri, Mar 29, 2013 at 6:01 PM, Phil Pennock <notifications@???> wrote: > Oh, and if you push to the same branch name, this pull request should update with the new history.
To be extremely clear, you are saying that if I push to the same
branch name on *github*, the pull request should update with the new
history. You are NOT saying that if I push to the same branch name on
*tahini*.
Please correct me if I'm wrong.
...Todd
--
The total budget at all receivers for solving senders' problems is $0.
If you want them to accept your mail and manage it the way you want,
send it the way the spec says to. --John Levine
