[wp-hackers] Header image in WordPress plugin repository

[Yanislav Iliev]

Hi everyone,

How long does it usually take for a new header image to appear on WordPress plugin repository?
I am talking about the banner-772x250 image located in assets folder.

I guess there is a caching system (varnish) that cached the image. Will converting the image from jpeg to png and thus changing the 
filename force the cache to be emptied?

Thanks!
-Yani