Repos - Augur View

#	Repo Name	Owner	Reports	Commits	Issues	Change Requests
4601	mkleanbook	leanprover	TODO	677	2	TODO
4602	theorem_proving_in_lean	leanprover	TODO	906	20	TODO
4603	logic_and_proof_lean3	leanprover	TODO	474	14	TODO
4604	tc	leanprover	TODO	2	6	TODO
4605	macports	leanprover	TODO	412	2	TODO
4606	lean.tmbundle	leanprover	TODO	18	4	TODO
4607	emacs-dependencies	leanprover	TODO	10	0	TODO
4608	presentations	leanprover	TODO	99	4	TODO
4609	ppa-updater	leanprover	TODO	15	4	TODO
4610	cmu-15815-s15	leanprover	TODO	37	0	TODO
4611	deprecated-homebrew-lean	leanprover	TODO	812	14	TODO
4612	tutorial	leanprover	TODO	623	100	TODO
4613	lean.js	leanprover	TODO	76	11	TODO
4614	ace	leanprover	TODO	6623	0	TODO
4615	leanprover.github.io	leanprover	TODO	336	45	TODO
4616	lean3	leanprover	TODO	13725	1124	TODO
4617	aws-runners-test	rust-lang	TODO	31	0	TODO
4618	rustc_codegen_c	rust-lang	TODO	12	2	TODO
4619	project-const-traits	rust-lang	TODO	1	16	TODO
4620	rustc-stable-hash	rust-lang	TODO	27	2	TODO
4621	rust-project-goals	rust-lang	TODO	757	126	TODO
4622	infra-smoke-tests	rust-lang	TODO	161	3	TODO
4623	libtest-next	rust-lang	TODO	316	40	TODO
4624	gcc	rust-lang	TODO	0	0	TODO
4625	rustdoc-types	rust-lang	TODO	75	28	TODO