(plugin: PluginSummary)
| 527 | } |
| 528 | |
| 529 | function sourceIdentity(plugin: PluginSummary): string { |
| 530 | if (plugin.source === 'github' && plugin.github !== undefined) { |
| 531 | return `github:${plugin.github.owner}/${plugin.github.repo}`; |
| 532 | } |
| 533 | return plugin.source; |
| 534 | } |
| 535 | |
| 536 | function truncateForStatus(input: string): string { |
| 537 | const max = 80; |
no outgoing calls
no test coverage detected