List view
PRs merged and issues completed in the 2025 summer term
Due by September 1, 2025•19/19 issues closedPRs merged and issues completed in the 2025 winter term
Due by May 1, 2025•19/19 issues closedPRs merged in 2024 fall term
Due by January 1, 2025•8/8 issues closedPRs merged in 2024 summer term
Due by September 1, 2024•5/5 issues closedPRs merged in 2024 winter term
Due by May 1, 2024•13/13 issues closed