Get the list of collaborators out of the github

If an issue is assigned to someone that is not a collaborator, skip the
assignment to avoid errors.

This fixes issue 19.