Is there a way to know how many developers are contributing in total?