GitHub package registry as Maven repo with many private libraries