Does anyone know how to (batch) convert GIFs into videos to upload?

Surely there must be a simple way to do this.

After hours of Googling, I found exactly one method. And it messes up the speed of the GIFs and is so damn involving, I'd prefer pulling out my teeth.

Okay, so I made this package(.zip) for you. It uses FFmpeg(the only .exe there, if you're afraid, you can get it yourself from the official FFmpeg site, it's the "git-a1953d4 32-bit Static" version - https://ffmpeg.zeranoe.com/builds/) for GIF to MP4 conversion + a really simple Windows command line script(the .bat file).

Direct link for download: VirusTotal scan:
1. Put GIF files in the "input"(I've put 2 GIFs there, as an example) folder.
2. Click on the "convert.bat" file, wait a second.
3. You should see nice MP4 files in the "output" folder.

Will test this out in the morning.

But holy shit, thanks.

Holy crap, this actually works.