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

Authored by taapas1128 on Wed, Oct 10, 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.Wed, Oct 10, 12:37 PM
pulkit added a subscriber: pulkit.Wed, Oct 10, 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.Thu, Oct 11, 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.Thu, Oct 11, 7:39 AM
This revision was automatically updated to reflect the committed changes.