diff options
author | David Pursehouse <dpursehouse@collab.net> | 2020-02-13 09:55:59 +0900 |
---|---|---|
committer | David Pursehouse <dpursehouse@collab.net> | 2020-02-13 01:27:25 +0000 |
commit | 3c5114cd787abf9abc8c4c0cf2a285be9532aeef (patch) | |
tree | d25e64ea0c212bfb3655f2d7bf7956a5b9b3a73a | |
parent | 7838e388ac049e3ad99744f19b5c1010d0a8286e (diff) | |
download | git-repo-3c5114cd787abf9abc8c4c0cf2a285be9532aeef.tar.gz |
Don't format version to 5 characters in new version message
Change-Id: I6c734170173f77a6fef0678f189e198bdaeec425
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/254668
Tested-by: David Pursehouse <dpursehouse@collab.net>
Reviewed-by: Mike Frysinger <vapier@google.com>
-rwxr-xr-x | main.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -295,7 +295,7 @@ repo: error: | |||
295 | 295 | ||
296 | if exp > ver: | 296 | if exp > ver: |
297 | print(""" | 297 | print(""" |
298 | ... A new version of repo (%5s) is available. | 298 | ... A new version of repo (%s) is available. |
299 | ... You should upgrade soon: | 299 | ... You should upgrade soon: |
300 | 300 | ||
301 | cp %s %s | 301 | cp %s %s |