Primero veamos que es un gif Según Wikipedia
GIF (Compuserve GIF) es un formato gráfico utilizado ampliamente en la World Wide Web, tanto para imágenes como para animaciones.
El formato fue creado por CompuServe en 1987 para dotar de un formato de imagen en color para sus áreas de descarga de archivos, sustituyendo su temprano formato RLE en blanco y negro. GIF llegó a ser muy popular porque podía usar el algoritmo de compresión LZW (Lempel Ziv Welch) para realizar la compresión de la imagen, que era más eficiente que el algoritmo Run-length encoding (RLE) usado por los formatos PCX y MacPaint. Por lo tanto, imágenes de gran tamaño podían ser descargadas en un razonable periodo de tiempo, incluso con módems muy lentos.
GIF es un formato sin pérdida de calidad para imágenes con hasta 256 colores, limitados por una paleta restringida a este número de colores. Por ese motivo, con imágenes con más de 256 colores (profundidad de color superior a 8), la imagen debe adaptarse reduciendo sus colores, produciendo la consecuente pérdida de calidad.
Ejemplo

El dia de hoy me descargue un GIf que me agrado, el inconveniente es que era mas grande que el que yo necesitaba. Despues de buscar, encontre una pagina para Redimensionar
Imagen original
La pagina es muy simple con algunas cuantas opciones descritas claramente.
1.-Seleccionas el GIF
2.-Subes la imagen a la pagina.
3.-Clic en enviar.
4.-Esperas que se recargue la pagina
5.- En la pagina se mostrara la imagen original y la nueva, solo guardala y listo.
imagen re dimensionada.
Como pueden ver el funcionamiento es muy simple y rapido. Sin necesidad de instalar programas. Como desventaja las imagenes pueden perder calidad.
Espero que les sea util.
Otros Aportes.