Re: git repository cleanup

On Mon, May 16, 2016 at 10:53:22PM -0400, al davis wrote:
> Any objections to removing above?

no.

FWIW: i recommend to always
- delete merged branches without notice
- merge with --no-ff, so these branches are sufficiently recorded in the
  history

> - cmake-WIP
> - bsx_mingw
> What is the status?  We need to keep these, but they seem to have
> stalled in an incomplete state.

maybe, we should just squash cmake-WIP into a single commit, and rename
the branch to cmake. there seems to be no work in progress...

cheers
felix