Move the animated gif to a temp folder, go to terminal and type
<code>
convert -coalesce 'myanimated.gif' image.png
</code>
This uses the imagemagick function covert to break the gif into seperate image pngs.\\
Note - the ''-coalesce'' function is for animated gif that use transparency for parts of the image that doesn't change. Remove it if the movie image files look strange..\\
Note 2 - the ffmpeg function requires that the height and width of the image be divisible by 2. If you don't mind the slight distortion, you can increase the width or height by one pixel so ffmpeg can function. Add ''-resize //width//x//height//\!'' to slightly distort the image. You need that ''escape exclamation'' at the end to tell convert not to preserve the aspect ratio.\\
The ''identify //myimage.gif//'' command can tell you the dimensions of the image.

Next we combine the images into a movie with ffmpeg\\
<code>
ffmpeg -f image2 -i image-%d.png myanimated.mp4
</code>

There seems to be no way to make them endlessly repeat like an animated gif, however it is possible to loop them a few times with MP4Box
<code>
MP4Box -cat myanimated.mp4 -cat myanimated.mp4 -cat myanimated.mp4 -cat myanimated.mp4 -cat myanimated.mp4 -new mycombinedanimated.mp4
</code>

I've posted about MP4Box previously [[combining_mp4_files_via_mp4box|here]]