Currently GitHub allows me to directly 'rebase-and-merge', and even 'merge' to main, even if the PR isn't up-to-date with main. The rebase and/or merge may introduce bugs or may cause main the fail to build. A develop branch may be a better place to have the bugs.
Currently GitHub allows me to directly 'rebase-and-merge', and even 'merge' to main, even if the PR isn't up-to-date with main. The rebase and/or merge may introduce bugs or may cause main the fail to build. A
developbranch may be a better place to have the bugs.