The repository GitHub event has now in the API a new action "edited",
for example when the repository default branch is changed.
This change assigns to a default branch change payload a new event
"default_branch" overriding the GitHub "repository" one, to avoid
raising too much the complexity of RepositoryEvent.
Fixes T1729.