Bump patch number for basic GitHub integration.