Wait and sync changeset after only pushing new commit
Created by: mrnugget
This fixes the backend portion of #13408 by syncing a changeset after pushing a new commit and ... I'm sorry to say... sleeping for 3 seconds before syncing it, because the code host might not have updated the changeset to have the new commit.
Edit:
Pairing on this with @eseliger we decided to also expose currentSpec
on the ExternalChangeset
so that we can refresh the diff view in the frontend when the current spec changes.
Edit 2:
With @eseliger's help we managed to fix the frontend portion of this too. So this fixes #13408.