~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
2 years ago
Updated
2 years ago
Labels
No labels applied.