FWIW...

    $ ffmpeg -i input.mp4 -r 30 -f image2 frame-%5d.jpg
    $ gm convert -delay 20 -loop 0 frame-*.jpg output.gif

Ffmpeg is probably able to convert a video directly into gif, but I couldn't get it to work from a single Google search.

I think that's the PR gif that the OSM blog posted a while ago when first announcing iD.

@dbaupp is correct, I didn't make the gif. If I had to guess though I would say that photoshop can probably convert video files to gifs. Not sure.