Repository navigation

openkal 0.15.0, and the six repositories that move with it (#507) #1484

Job	Run time
select	12s
graphics install: no side effects on unrelated members	2m 43s
lint	35s
mirror-cn-reachable	1m 5s
workspace (windows default 0/1)	1m 30s
workspace (linux llvm 3/4)	41s
workspace (macos default 0/1)	1m 4s
workspace (linux default 0/1)	59s
workspace (linux llvm 0/4)	1m 2s
workspace (linux llvm 2/4)	49s
workspace (linux llvm 1/4)	50s
timings	6s
red members name their issues	7s
full sweep failed — open an issue	-1s
	11m 42s