Right, if you open a page then push a change then save the page, the pushed change will get overwritten. I think the best option to lock during editing might be

Right, if you open a page then push a change then save the page, the pushed change will get overwritten. I think the best option to lock during editing might be to just reject the push while the editor is open. Thanks for your thoughts. And I'll clean up that link!