GitLab

This is mostly to help history-digging, especially when
focussing on feature branches.
Note that not all changesets are in the main repository,
but they are all in the full history repository.