Gitlab and GitHub both let you upload videos (and probably more). I still use ffmpeg to convert .mov to .mp4 to get a better file size. But either run circles around the quality and size of .gif
the thing I love about gifs is that they play automatically so as soon as you open the issue you are seeing the animation of what the problem is.