diff options
Diffstat (limited to 'infra')
| -rwxr-xr-x | infra/dgit-repos-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index f94315a..bbf1aa2 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -784,7 +784,7 @@ sub checktagnoreplay () { # current head for the suite (there must be at least one). # # This prevents any tag implying a NOFFCHECK push being - # replayed to rewind from a different head. + # replayed to overwrite a different head. # # The possibility of an earlier ff-only push being replayed is # eliminated as follows: the tag from such a push would still |