tree 2545072c225a258ac2b2d0fe35eb862c237ecc76
parent 75b45f5665fad8d386d36f88bf7dc37808a8dcac
author Josh Bleecher Snyder <josharian@gmail.com> 1752803514 +0000
committer Josh Bleecher Snyder <josharian@gmail.com> 1752803514 +0000

webui: update Push button tooltip to indicate it opens a dialog

Change tooltip from 'Push current HEAD to remote' to 'Open push dialog
to push current HEAD to remote' to better communicate that clicking
the button opens a dialog interface rather than immediately pushing.

User changes from diff view.

Co-Authored-By: sketch <hello@sketch.dev>
Change-ID: sa22bbc9efe9d6ad2k