~sircmpwn/dispatch.sr.ht#30:
GitHub: add extra tags to builds

Add a pulls tag for PRs, commits for pushes.

This allows to export a badge just for commits (instead of having a failing badge when a PR's build fails).

Status
REPORTED
Submitter
~emersion
Assigned to
No-one
Submitted
5 months ago
Updated
5 months ago
Labels
No labels applied.