On Fri, Jan 3, 2020 at 10:24 AM Gregory Nutt <spudan...@gmail.com> wrote: > > > > BTW dev is also out of synch with master. All the PRs are getting > > merged to master. > > dev is no longer being used. I would like to delete it. But I want to > make sure that no-one is use 'dev' before I do so. > > Trying to maintain a dev branch in synchronization is nearly > impossible. It is better if all PRs come in on a new branch (like pr32). > > I will delete the dev branch now. > > Greg > >
Agreed, we don't want long-lived messy branches like that. Every change should be its own branch. Nathan