Closed phip1611 closed 1 year ago
Ok, will do!
Btw: Which tool do you use to get the list? I can't imagine that you do this all by hand..?
I used to do it by hand until about a year ago. Since then I have a basic script that queries the merged PRs from the GitHub API: https://github.com/rust-osdev/homepage/blob/main/collect-changes/src/main.rs
Sure! Btw: Which tool do you use to get the list? I can't imagine that you do this all by hand..?