1. 7de3bdd webui: hide GitHub link in push dialog for non-GitHub remotes by Josh Bleecher Snyder · 9 months ago
  2. 3a41f15 webui: update Push button tooltip to indicate it opens a dialog by Josh Bleecher Snyder · 9 months ago
  3. 254c49f sketch: "git push" button by Philip Zeyliger · 9 months ago