github で pull request 来たので merge してみた

このまえ公開した jLingr にさっそく id:t_yano から pull request が来た
ので，merge してみた．
始めての pull request なので緊張しています＞＜
良くわかってないので，この手順で良いのか教えてくだしあ＞＜

まず，ローカルのリポジトリに t_yano の Master を追加

$ git remote add tyano http://github.com/tyano/jLingr.git 

で，それ用にブランチを作成

$ git checkout -b tyano/master

pull する

$ git pull tyano master 

確認……

$ git branch
  master
* tyano/master

で，自分の master に戻る

$ git checkout master  

merge

$ git merge tyano/master 

で，終了なので，push

$ git push  

あれ？？？
こんな簡単に終り!？