Repos maintenance commits

Some changes [not required] that tend to be handy in git repositories.