Thank you @potpotpot
The app I use is called gif maker, if you type it in the search on playstore I think it comes up as the first result, but there are many different options to choose from whether it be an app or online. A good online one is ezgif.com and it’s the one I use most to edit/optimize gifs for posting.
Those gifs were extracted from video, but I’ve also made some by holding down the shutter button on the camera to take like 30 pics and turn them into a gif. Both work, but the video way feels easier to work with.
I created a really simple bare-bones thread on how to post gifs for anyone interested
I should give it an update soon with some tips and tricks.