Fair – but not if it's not their feature branch but their local master; they pull & merge the remote changes and then push the result.