Commit 498ef1240c77db43bf93a159e2bb199c94d61a18

Stefan Sperling 2020-03-21T20:00:32

clarify the distinction between mirror and regular repositories