Peter Milton what do you prefer as a Github-replacement: a) which respects privacy of your team the best? b) which is good to find new contributors?