[Lance13c]

Exactly, thanks for explaining BossingAround.

It is a small niche use-case, but something I personally run into more often than not.

Other alternatives is use ffmpeg on your own, or use one of the thousand video tools on the market to compress the video. This is what I did in the past, but it made me open an external tool, then compress, then re-upload. It was an annoying 20-30 seconds of my time.

This keeps devs in the Github PR flow without thinking too much, which I find quite nice. I personally have been using this for 2ish months now since version 0.0.1. It is always a pleasant surprise when it works.