This image show the options for a Git repository when you click the menu in the header. Options include Commit, Status, Diff, Pull, Push, Reset to Head, and Merge. Some branch commands are also available.