Merged GitHub changesets are first displayed as closed and, after next sync, as merged

Created by: mrnugget

This is extracted from https://gist.github.com/unknwon/b7c80d23e6b2a624e50e4073454959e0

Merged PR shown as closed at first, then show as merged.

When a PR is merged GitHub does emit "closed" and "merged" events, but I assumed that they would be emitted at the same time.

This does sound like the "closed" event is emitted way before the "merged" event (or we did sync in exactly the millisecond between both events?).

@unknwon wants to provide a database dump of the changesets and changeset_events table.