7 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	9e672b9ccc	add oceandb repos as components	2018-11-16 17:35:40 +01:00
Matthias Kretschmann	eae7f752d5	add oceandb repos	2018-11-16 17:35:40 +01:00
Matthias Kretschmann	7e0db7c3a1	solve first usecase: fetch repo infos from GitHub GraphQL API	2018-11-10 18:21:57 +01:00
Matthias Kretschmann	28ad87ded1	auto generate github links for repos, more content updates	2018-11-09 20:23:24 +01:00
Matthias Kretschmann	fe621e527c	content updates, move some stuff from ocean repo	2018-11-09 19:08:36 +01:00
Matthias Kretschmann	afef8b15b5	hightlight docker-imageas, more repos	2018-11-09 17:44:24 +01:00
Matthias Kretschmann	07fd09f4d9	rename and refactor	2018-11-09 17:18:14 +01:00