How GitHub engineers tackle platform problems | EngBrief