"Refetch from source" button also didn't affect the ssh server; it's still one commit behind GH and GRASP servers.
What blows my mind is `gitworkshop.dev` keeps showing the ssh server as if it were a well-functioning GRASP server that somehow knows what the last commit is there: