gif.py

import moviepy.editor as mp

def concat_gif_list(gifs, output):
    clips = []
    for gif in gifs:
        clips.append(mp.VideoFileClip(gif))
    final = mp.concatenate_videoclips(clips)
    final.write_videofile(output)