[Gnu-arch-users] push-mirror "adding revision" for old patch?

[Denys Duchier]

Can someone explain to me what the lines for patch-121,122,123 are
about?  I already had these patches, and checking in the archive it
doesn't look like any of the corresponding files have been modified by
the push.

% tla push-mirror address@hidden
* mirroring address@hidden to address@hidden with limit (null)
** adding revision tla--devo--1.1--patch-184
** adding revision tla--devo--1.1--patch-185
** adding revision tla--devo--1.1--patch-186
** adding revision tla--lord--1.1--patch-121
** adding revision tla--lord--1.1--patch-122
** adding revision tla--lord--1.1--patch-123
** adding revision tla--small-fixes--1.1--patch-79
** adding revision tla--small-fixes--1.1--patch-80
** adding revision tla--small-fixes--1.1--patch-81

-- 
Dr. Denys Duchier
Équipe Calligramme
LORIA, Nancy, FRANCE