関連ワード:  undo git pull origin develop    undo git pull origin dev    pull from origin  
結果 : undo git pull origin develop