Remove references to doing PRs into `devel`
bms63 opened this issue · comments
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?