Well said. Let's not forget why GitHub is putting such things in place. Had they existed before, they might have avoided all the unpleasantness they (and their former employee) went through (which also led to the CEO's resignation).