Python Script to convert an (animated) GIF to MP4
Requires moviepy (pip install moviepy) or just run pip install -r requirements.txt.
Usage:
python giftomp4.py [filepath1] [filepath...] [filepathN]
output MP4 will be created in same folder as the source GIF