2025-05-10T08:27:42Z - 2025-08-10T08:27:42Z
Overview
Excluding merges,
2 authors
have pushed
32 commits
to main and
35 commits
to all branches.
On main,
9 files
have changed
and there have been
816 additions
and
238 deletions.
3 Pull requests proposed by 1 user
Proposed
#110 Re-implement pull request review comments
Proposed
#111 Automatically assign assignee and reviewer
Proposed
#113 Avoid pushing MRs consisting only of ruff changes
1 Issue closed from 1 user
Closed
#57 Satisfiability pass to judge whether the task has been solved
2 Issues created by 1 user
Opened
#109 Automatically assign assignee and reviewer
Opened
#112 Avoid pushing MRs consisting only of ruff changes
1 Unresolved Conversation
Open
#105
Re-implement pull request review comments