A developer is commuting on a train without a laptop and receives a notification that a teammate mentioned them in a comment on an issue. They want to read the discussion, reply with a quick message, and apply a label to help triage the issue before they get to the office. Which GitHub tool is best suited for this task?