.. | ||
0001-add-gitea-pulls.patch | ||
0002-unlimit-output.patch | ||
0003-remove-pr-number-from-github-job-name.patch | ||
0004-use-pulls-instead-of-issues.patch | ||
0005-only-list-open-prs.patch | ||
0006-status-state.patch | ||
0007-hydra-server-findLog-fix-issue-with-ca-derivations-e.patch |