Converting GeoJSON file to Shapefile

Ever since we started publishing Indian village boundaries in GeoJSON format, the single most question asked was how to convert geojson into Shapefile. To answer that question I created a screencast. Here it is.