Ah, these are different commits, but just on one (my Array) branch – and only whole branches can get into a pull request. Should I split my branches up? I don't know the git conventions here. :-)