Comment Comment by tremon Why is Github talking about number of commits here, and not pushes? Are there a lot of tools/people using github as an online editing platform? parent tremon 2 months ago