git: also match digits while strip