Gitbook failed to sync a merged change request to Github

[MantisClone]

Gitbook failed to sync CR 130 into Github after merging it.

Details:

• CR 130 was merged in quick succession (within a few seconds) after merging CR 131 on March 4th.
• It's unclear to me why the merge time for CR 130 appears as "1d" ago instead of around the same time as CR 131.

Reference:

• Gitbook Merged Change Requests (private link requires access)
• Gitbook Sync Status (private link requires access)
• docs.request.network commits Feb 28 - Mar 4 (public repo)

[MantisClone]

Bumping this - Is there anything I can do to force Gitbook to sync the missing CR 130 into Github?

[MantisClone]

Just checking in again. Is there a way to force Gitbook to sync the missing CR 130 into Github?

[MantisClone]

I resolved this by creating a new CR 132 in Gitbook, making a minor change to the file that CR 130 edited - deleting an empty line, and merging it.

The resulting commit for CR 132 included many changes, beyond just the deletion of an empty line.

Thus, I believe my Github repo is now synchronized with my Gitbook workspace.