omni.git - not just a monorepo, its an *omnirepo*

Age	Commit message (Expand)	Author
2020-12-07	Auth and load repos from GitHub	Ben Sima
2020-07-26	dev: move _{bild,keep,skey} to _/{bild,keep,skey}	Ben Sima
2020-07-25	bild: support incremental compilation	Ben Sima
2020-06-27	hero: implement the basics of user logins	Ben Sima
2020-04-04	Try to get tags working reliably	Ben Sima
2020-02-14	Update .gitignore	David Johnson
2019-11-02	move default local keep to _keep	Ben Sima
2019-10-27	move everything to namespace directories	Ben Sima
2019-05-12	add duree-pitch.org	Ben Sima
2019-03-23	Ignore tags file	Ben Sima
2019-03-02	Better deploy script	Ben Sima
2019-02-23	Get rid of cabal	Ben Sima
2019-02-04	Ignore cabal builds	Ben Sima
2019-01-28	Ignore result.	Nick
2019-01-21	Init	Ben Sima