Closed AdrianDAlessandro closed 1 month ago
The original grad school git course is the default branch for all PRs and it is easy to accidentally open an PR into that. Should we archive it to prevent this?
If that works, I'm in favour of it. It's currently a bit confusing
The original grad school git course is the default branch for all PRs and it is easy to accidentally open an PR into that. Should we archive it to prevent this?