The pushpage job includes users who are in the distribution group(s) at the date and time the job actually sends.

If users were in the distribution group at the time the pushpage manager created the job but are not in the distribution group when the job actually sends, then those users are not included in the job.