When the time comes to merge dev into master (for real), the
following may be useful:
https://metlos.wordpress.com/2012/01/13/
git-merging-after-a-revert/