~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
1 year, 1 month ago
Updated
1 year, 1 month ago
Labels
No labels applied.