Peter Geoghegan@petervgeoghegan@tpope Hmm. I should probably just use diffput/diffget for that. Sorry for the noise6:03 PM · Dec 5, 2012·Twitter Web Client
Tim Pope@tpope·Dec 6, 2012Replying to @petervgeoghegan@sternocera yeah, there’s not really a foolproof way to top that
