I/we need a lesson in git and/or gitlab and/or merge requests

[Fred Wright]

On Sat, 18 Nov 2023, Fred Wright via devel wrote:

[...]
> With or without this problem, it's a bad idea to combine multiple 
> unrelated changes into a single MR anyway.  It's best to stick to one 
> topic per branch, both locally and in any MRs derived from such 
> branches.

I neglected to say:

If there are multiple fully tested and noncontroversial changes, such that 
selective merging is highly unlikely, then it's fine to put them into one 
branch and one MR.

Fred Wright