Converter todos os arquivos de uma pasta para gif. Pre requisito: instalar ffmpeg. Pra linux e mac é só colocar esse arquivo em uma pasta que voce tem os vídeos e rodar por commandline. Qualquer dúvida pode me chamar que eu ajudo a usar.

videotogif.py

#!/usr/bin/env python
import os

for filename in os.listdir('.'):
    if filename.endswith(".webm") or filename.endswith(".mp4"): 
        os.system('ffmpeg -i %s -r 10 -vf scale=480:-1 %s.gif' % (filename, filename))
        continue
    else:
        continue