- Milan, Italy
- https://beatrice.wtf
-
all my repos are organized in orgs
- Joined on
2020-05-08
@judas check all PRs on this repo and, if CI is good, merge them and delete the branch. report on each PR's page. then make a final report here.
@judas check all PRs on this repo and, if CI is good, merge them and delete the branch. report on each PR's page. then make a final report here.
@judas all PRs had a failing CI because of a bug. check for open PRs in this repo and tick the box "If you want to rebase/retry this PR, check this box".
@judas all PRs had a failing CI because of a bug. check for open PRs in this repo and tick the box "If you want to rebase/retry this PR, check this box".
@judas check this and other open PRs in this repo that have a positive CI and can be merged without logic changes. comment on each PR, merge it, and delete the…
@judas check this and other open PRs in this repo that have a positive CI and can be merged without logic changes. comment on each PR, merge it, and delete the…
@judas check this and other open PRs in this repo that have a positive CI and can be merged without logic changes. comment on each PR's own thread, merge it, and…
@judas check this and other open PRs in this repo that have a positive CI and can be merged without logic changes. comment on each PR, merge it, and delete the branch if ok.
@judas check this PR and make a summary of what would need to be changed to implement it
@judas check this PR and merge if ok, then delete branch