Remove references to doing PRs into `devel`
Closed this issue · 0 comments
bms63 commented
We are following the GitHub Flow strategy and no longer need devel branch - already deleted
Any references to devel should be updated to main.
- Update PR template
- Update Wiki
- Others?