On Fri, Mar 29, 2013 at 6:01 PM, Phil Pennock <[email protected]> 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 -- ## List details at https://lists.exim.org/mailman/listinfo/exim-dev Exim details at http://www.exim.org/ ##
