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

	Commit message (Expand)	Author	Age	Files	Lines
*	dev-db/phppgadmin: remove old version	Alfredo Tupone	2020-08-03	2	-39/+0
*	dev-db/phppgadmin: version bump to 7.12.1	Alfredo Tupone	2020-07-21	2	-0/+39
*	dev-db/phppgadmin: readd to the tree	Alfredo Tupone	2020-07-20	4	-0/+54
*	dev-db/phppgadmin: Removal	Aaron W. Swenson	2018-01-14	5	-103/+0
*	dev-db/phppgadmin: [QA] Port to git-r3	David Seifert	2017-12-25	1	-1/+1
*	dev-db/*: Update Manifest hashes	Michał Górny	2017-12-09	1	-1/+1
*	dev-db/phppgadmin: use HTTPS for GitHub	David Hicks	2017-07-30	1	-3/+2
*	Drop $Id$ per council decision in bug #611234.	Robin H. Johnson	2017-02-28	2	-2/+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	-2/+8
*	Unify quoting in metadata.xml files for machine processing	Michał Górny	2016-01-24	1	-1/+1
*	Add missing remote-id type=sourceforge	Justin Lecher	2015-10-01	1	-3/+6
*	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	5	-0/+97