git is weird and revert/reset is a fiddly waste of time; rollback pull #10
git is weird and revert/reset is a fiddly waste of time; rollback pull #10

whosonfirst/whosonfirst-www-spelunker,whosonfirst/whosonfirst-www-spelunker,whosonfirst/whosonfirst-www-spelunker,whosonfirst/whosonfirst-www-spelunker