Update app to listen to repo change events and reload the workspace
Update app to listen to repo change events and reload the workspace

oerpub/github-bookeditor,oerpub/bookish,oerpub/github-bookeditor,oerpub/bookish,oerpub/github-bookeditor