Description of problem: Gerrit(https://review.gluster.org/#/q/status:merged+branch:master) and GitHub mirror(https://github.com/gluster/glusterfs/commits/master) commits for master branch differs by one commit which got merged on Nov 8th and not yet reflected on GitHub. Additional info: Change URL: https://review.gluster.org/#/c/15788/
A fresh clone doesn't show this commit in master. I don't see it via cgit either. This suggests there's no syncing problem at the very least.
Okay, so it's actually in master. Check under Nov 8 here -> https://github.com/gluster/glusterfs/commits/master The sort order on Gerrit is by last modified. This was last modified today, but not actually committed today.