What are the @dart-github-bot comments?

We‘re experimenting with triage automation. You may see comments made by a @dart-github-bot - that’s related to our automation investigations. We may or may not continue experimentation here; for now, you can safely ignore these comments.