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 after merging CR 131 on March 4th.

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)