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

It's a bit quiet in here.