How many nontechnical users use github? Although there are plenty of developers with a minimal understanding of security as well