in lib/github_datatypes.dart [1218:1236]
String summary({
bool boldInteresting = true,
bool showMilestone = false,
bool linebreakAfter = false,
bool includeLabels = true,
}) {
var labelsSummary = includeLabels ? _labels!.summary() : '';
var markdown = '[${this.number}](${this.url})';
markdown = '${markdown} ${this.title} ${labelsSummary}';
if (showMilestone) {
markdown = '${markdown} ' +
(_milestone == null ? '[no milestone]' : '[${_milestone!.title}]');
}
if (boldInteresting && _labels!.intersect(_interesting)) {
markdown = '**' + markdown + '**';
}
if (linebreakAfter) markdown = markdown + '\n';
return markdown;
}