                         git reset --hard origin/master
                         """
 
-        search_search_the_working_directory_for :
+        search_for :
                 insert:
                         """
                         git grep "foo()"

                        cat ~/.ssh/id_rsa.pub
                        # Copy your public key below and follow the instructions at https://help.github.com/articles/adding-a-new-ssh-key-to-your-github-account/#platform-linux
                        """ 
        push_send_changes_to_the_master_branch_of_your_remote_repository :
                insert:
                        """
                        git push origin master

                            ["Create an ignore file", "#create_gitignore", "Create an ignore file"],
                            ["Clone a local repo", "#clone_local_repo", "Clone local repo"],
                            ["Clone a remote repo", "#clone_remote_repo", "Clone remote repo"],
                            ["Add a file to repo", "#add_file_to_repo", "Add file to the repo"],
                            ["Add all files to repo", "#add_all_to_repo", "Add all not ignored files to the repo"],
                            ["See changes before commiting", "#diff", "See changes before commiting"],
                            ["Commit your changes", "#commit", "Commit all your changes"],
                            ["Setup SSH for Github", "#setup_ssh_for_github", "Setup SSH for Github"],
                            ["Push changes", "#push_origin_master", "Push changes to the master branch of your remote repository"],
                            ["Status", "#status", "Status"],
                            ["Add remote repo", "#add_remote_repo", "Connect to a remote repository"],
                            ["List remote repos", "#list_remote_repos", "List all currently configured remote repositories"],
                            ["Create a new branch", "#create_new_branch", "Create a new branch and switch to it"],
                            ["Switch branches", "#switch_branches", "Switch from one branch to another"],
                            ["List branches", "#list_branches", "List all the branches in your repo, and also tell you what branch you're currently in"],
                            ["Delete the feature branch", "#delete_the_feature_branch", "Delete the feature branch"],
                            ["Push branch", "#push_branch", "Push the branch to your remote repository, so others can use it"],
                            ["Push all branches", "#push_all_branches", "Push all branches to your remote repository"],
                            ["Delete remote branch", "#delete_remote_branch", "Delete a branch on your remote repository"],
                            ["Update repo", "#pull", "Update from the remote repository Fetch and merge changes on the remote server to your working directory"],
                            ["Merge a branch", "#merge_branch", "To merge a different branch into your active branch"],
                            ["Show history", "#show_history", "Show the history of previous commits"],
                            ["Undo local changes", "#undo_local_changes", "Undo local changes"],
                            ["Get rid of local changes", "#get_rid_of_local_changes", "Drop all your local changes and commits, fetch the latest history from the server and point your local master branch at it"],
                            ["Search the working directory for foo()", "#search_for", "Search the working directory for foo()"]
                        ]]
    add_menu(sh_git, sh_git_entries)
    sh_bar.append(sh_git)
