design: push-pull: fix missing markup & drop needless escaping
authorReynaldo H. Verdejo Pinochet <reynaldo@osg.samsung.com>
Mon, 20 Mar 2017 20:35:13 +0000 (13:35 -0700)
committerReynaldo H. Verdejo Pinochet <reynaldo@osg.samsung.com>
Mon, 20 Mar 2017 20:58:25 +0000 (13:58 -0700)
commit46c2f754fa06731338f52e7dd3a8d3638e9af2ac
treefc128f758d7388378accd926ba8560e8913d55cb
parentc2eb75ee4d2bce7fb5d497967c2cec5a846dfb61
design: push-pull: fix missing markup & drop needless escaping

Additionally: Assorted minor improvements.
markdown/design/draft-push-pull.md