Manage github head_ref_force_pushed event
Ignore some issue event types

For two reasons:
- we already manage these by tracking changes (but we don't have the
actor)
- there is less informations, and cannot associate the actor to our
tracked events (and sometimes the actor is wrong)
Merge branch 'feature/new-github-events' into develop