Properties
number
required
PRs Devin authored that were closed without merging.
number
required
Total PRs Devin authored across all states (open + merged + closed).
number
required
PRs Devin authored that were merged.
number
required
PRs Devin authored that are currently open.
number
PRs Devin took over that were closed without merging.
number
Total PRs Devin took over across all states (open + merged + closed). A take-over is when Devin pushed commits to a PR it did not originally create.
number
PRs Devin took over that were merged.
number
PRs Devin took over that are currently open.