On Sun, Jun 03, 2018 at 01:42:26AM +0200, Robin Gareus wrote: > And this matters how? > > git is completely decentralized. Most git repos do already exist, > mirrored, in various places simultaneously. If you only push your > project to github.com, and mirror it nowhere else, you're doing it wrong. Issues, "pull requests", etc. are some of the ways GitHub extends git features in a non-standardised, proprietary ways. _______________________________________________ Linux-audio-user mailing list Linux-audio-user@xxxxxxxxxxxxxxxxxxxx https://lists.linuxaudio.org/listinfo/linux-audio-user