Circle CI builds do not trigger on Pull Requests of some particular users

I amended the last commit and re-pushed which seems to have triggered circle ci.