Shrink Video with QuickTime Player

If you need to shrink a video before attaching it to a GitHub PR, just open it in QuickTime Player → File → Export As → pick a lower resolution. Super quick!