Re: [PATCH v2] push: add a message when pushing phases but not changes (issue4232)

2016-12-20 Thread Pierre-Yves David
On 12/07/2016 04:50 AM, Jeremy Wall (zaphar) wrote: # HG changeset patch # User Jeremy Wall (zaphar) # Date 1480542942 21600 # Wed Nov 30 15:55:42 2016 -0600 # Node ID 6e1ad0fb4f792d01e75f18e41579e52bcceee198 # Parent 9e29d4e4e08b5996adda49cdd0b497d89e2b16ee

[PATCH v2] push: add a message when pushing phases but not changes (issue4232)

2016-12-06 Thread Jeremy Wall (zaphar)
# HG changeset patch # User Jeremy Wall (zaphar) # Date 1480542942 21600 # Wed Nov 30 15:55:42 2016 -0600 # Node ID 6e1ad0fb4f792d01e75f18e41579e52bcceee198 # Parent 9e29d4e4e08b5996adda49cdd0b497d89e2b16ee push: add a message when pushing phases but not changes