Second attempt at updating GitHub

First attempt I didn’t sync, then told it to revert which wiped out my
code. Trying again.