[GTER] Registro.br RPKI issues?

[Job Snijders]

On Tue, May 16, 2023 at 01:57:16PM +0000, Job Snijders wrote:
> ps. An easy way to see duplicate files is like so:
> 
> $ curl -s https://rpki-repo.registro.br/rrdp/68119c8e-f8e2-4a51-bdda-78459f9884e3/65/1b21d85893d023a3/snapshot.xml | fgrep '<publish ' | sort | uniq -c | sort -rn | head
>    6   <publish uri="rsync://rpki-repo.registro.br/repo/2mQiFhihjTBEpZq3ELoY5nxwhdNBcLZBXRSnhZkAmWSi/1/B9C4BADDF4C8E202FEED5467E9D0654570EBB9B2.mft">
>    6   <publish uri="rsync://rpki-repo.registro.br/repo/2mQiFhihjTBEpZq3ELoY5nxwhdNBcLZBXRSnhZkAmWSi/1/B9C4BADDF4C8E202FEED5467E9D0654570EBB9B2.crl">
>    4   <publish uri="rsync://rpki-repo.registro.br/repo/2mQiFhihjTBEpZq3ELoY5nxwhdNBcLZBXRSnhZkAmWSi/0/70F328D45D107EED518BF45C7006F09DC10AF7BD.mft">
>    4   <publish uri="rsync://rpki-repo.registro.br/repo/2mQiFhihjTBEpZq3ELoY5nxwhdNBcLZBXRSnhZkAmWSi/0/70F328D45D107EED518BF45C7006F09DC10AF7BD.crl">
>    2   <publish uri="rsync://rpki-repo.registro.br/repo/EszSqXU6su93trtn878XarKoRMGuTgTSwkRxVzm8xiu2/0/3137392e3130362e37322e302f32312d3234203d3e20323633343135.roa">
>    2   <publish uri="rsync://rpki-repo.registro.br/repo/DhhacJFgWs9wK9CuEPTXeQC1XDwjhgMNJs3zTh9w9tBU/0/323830343a343863303a3a2f33322d3438203d3e20323637313432.roa">

I still see 2 duplicates:

$ curl -s https://rpki-repo.registro.br/rrdp/aa4bfebe-4ea2-44f5-9da7-9492753e8e98/967/3ea55f8d31a4d5ad/snapshot.xml | fgrep '<publish ' | sort | uniq -c | sort -rn | head
   2   <publish uri="rsync://rpki-repo.registro.br/repo/HB3JfCJY1CAJQAUs6iewCcTX3Sgsbs52wyrSq7RbJQmb/0/5ECF6E803016C892C6783D20B8A802F96C5B11EA.mft">
   2   <publish uri="rsync://rpki-repo.registro.br/repo/HB3JfCJY1CAJQAUs6iewCcTX3Sgsbs52wyrSq7RbJQmb/0/5ECF6E803016C892C6783D20B8A802F96C5B11EA.crl">
       ...

The CMS signing-time for '5ECF6E803016C892C6783D20B8A802F96C5B11EA.mft'
is Tue 16 May 2023 14:41:14 +0000.

Kind regards,

Job