Try making a commit with a white space - that should usually normalize things ?
On Wed, May 16, 2018 at 4:17 PM, Mike Thomsen <[email protected]> wrote: > Mark pushed a big commit and it looks like GitHub is stuck on the sync. > Wanted to let anyone doing reviews know. >
