[submodule "gondolin"]
	path = repos/gondolin
	url = git@github.com:madhavajay/gondolin.git
[submodule "pi"]
	path = repos/pi
	url = git@github.com:madhavajay/pi.git
[submodule "vouch"]
	path = repos/vouch
	url = git@github.com:madhavajay/vouch.git
