Sync is stuck again

[Mike Thomsen]

Mark pushed a big commit and it looks like GitHub is stuck on the sync.
Wanted to let anyone doing reviews know.