Colour git grep matches green
Push and pull tags
Bump submodules