repo/sync/gentoo.git - Sync-friendly git mirror of repo/gentoo with caches and metadata

	Commit message (Expand)	Author	Age	Files	Lines
*	/: Inline mirror://hackage and update URIs	Michał Górny	2019-11-10	1	-2/+2
*	dev-lang/*: Update Manifest hashes	Michał Górny	2017-12-09	1	-2/+2
*	dev-lang/whitespace: Strip empty metadata.xml elements	Michał Górny	2017-10-04	1	-2/+0
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	2	-2/+0
*	dev-lang/whitespace: Cleanup per bug #459860	Pacho Ramos	2016-08-07	1	-4/+0
*	Set appropriate maintainer types in metadata.xml (GLEP 67)	Michał Górny	2016-01-24	1	-2/+2
*	Replace all herds with appropriate projects (GLEP 67)	Michał Górny	2016-01-24	1	-1/+4
*	Unify quoting in metadata.xml files for machine processing	Michał Górny	2016-01-24	1	-1/+1
*	Add missing remote-id type=github	Justin Lecher	2015-10-01	1	-2/+4
*	dev-lang/whitespace: tweak for ghc-7.10, bug #556746	Sergei Trofimovich	2015-09-23	4	-0/+69
*	Revert DOCTYPE SYSTEM https changes in metadata.xml	Mike Gilbert	2015-08-24	1	-1/+1
*	Use https by default	Justin Lecher	2015-08-24	1	-1/+1
*	proj/gentoo: Initial commit	Robin H. Johnson	2015-08-08	4	-0/+70