What tool for GIF webapp previews?

[Federico Valeri]

Hi all, can I ask what tool do you use to create those useful preview GIFs
that we see in Github PRs?