tree 0a91ef7b66e17e3f48f653516b9189a2b5daad83
parent 68d9702f5c689aa42ca14575b3168ec185e5e569
author Dhruv Srivastava <dhruvsri@google.com> 1603964202 +0100
committer Dhruv Srivastava <dhruvsri@google.com> 1603989532 +0000

Add Publish button to editor

Add a Publish button to editor view that saves the edit, publishes
the edit and then navigates user to the change page.

Change-Id: I927f0f9db3f72ed2b416903b52fe9bb86fc08f60