Record a deployment for every pull request whose commit got deployed, as a commit can head several of them