Pull requests - phil/pr-review-bot - git.hackmi.ch

phil/pr-review-bot

Search syntax

`assignee:<username>`	Filter by assigned user
`author:<username>`	Filter by the author
`is:all`	All
`is:closed`	Closed
`is:open`	Open
`mentions:<username>`	Filter by mentioned user
`modified:[>\|<]<date>`	Filter by last modified date
`review:<username>`	Filter by user who reviewed
`sort:<by>:[asc\|desc]`	Sort by: `created\|comments\|updated\|deadline`

New pull request

Added spoiler and emojis

ci/woodpecker/pr/0-check Pipeline was successful

Details

#5 by phil was merged 2026-04-19 20:47:24 +02:00

fix: ignore discarded error

ci/woodpecker/pr/0-check Pipeline was successful

Details

#1 by phil was merged 2026-04-19 18:37:59 +02:00