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

Fix: entrypoint for dockerfile

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

Details

#9 by phil was merged 2026-04-20 11:52:40 +02:00

fix: right package CI user/token

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

Details

#3 by phil was merged 2026-04-19 20:02:15 +02:00