shithub: git9

Download patch

ref: e362152c60172f7530715f034af59ffe61187516
parent: 0b6837301afe104a582f67cd701b90fb7ccf84aa
author: Ori Bernstein <ori@eigenstate.org>
date: Fri Jul 5 16:38:55 EDT 2019

Improve experience with new repositories.

	No force pushes needed, master branch is tagged for interop.