開発した機能や修正したバグのデモとしてアニメGIFを Pull Request や Issue に貼り付けるのをよくやる。いくつかのやり方を試して、今は QuickTime Player の画面収録で動画を撮影しアニメGIFに変換するのに落ち着いた。尺を気にしなくていいのとマウスクリ…