Shall I amend this pull request, create a new one or submit another commit to it?