It turns out that GitHub didn't lose any of my commits. All future readers should ignore my comments on this.