push:Added keyword remote to 'repository changed while pushing' error(Issue5971)(whitespaces fixed)

Authored by taapas1128 on Oct 10 2018, 12:37 PM.

Diff Detail

rHG Mercurial
Automatic diff as part of commit; lint not applicable.
Automatic diff as part of commit; unit tests not applicable.
taapas1128 created this revision.Oct 10 2018, 12:37 PM
pulkit added a subscriber: pulkit.Oct 10 2018, 2:06 PM

@timeless suggested using the word 'destination' instead of 'remote'. I feel like destination is a better word. How do others feel?

@taapas1128 no need to update the patch right now.

indygreg accepted this revision.Oct 11 2018, 7:37 AM
indygreg added a subscriber: indygreg.

We prefix output with "remote:" so I think describing the repo as "remote" is fine. We can change this text any time. If others want to change to "destination," send a patch.

This revision is now accepted and ready to land.Oct 11 2018, 7:39 AM
This revision was automatically updated to reflect the committed changes.