Commits not appearing

[wion]

My last five commits, which seemed to go through without any conflicts or other noticeable problems, do not show up in the docs site. This seemed to begin with my commit having the subject line, 'Updates to: interface strings and tables, and added two markup sections', which was, oddly enough, right after @philwareham's first commit today.

Anyone know what the problem is?

Also, I feel like this is not the right mode for reporting this kind of problem. What is a better channel via the GitHub UI?

[wion]

I just tried another commit, and the GitHub app quickly flashed something about 'resolving deltas', then proceeded to commit, and bam! all the commits I made today are now visible. Huh. Beats me.

Closing.