GIFs won't be re-encoded if they happen to be animated. JPEG either because that means quality lose.