GitHubで、pull requestしたbranchをmergeして もらったので、早速masterをpullしてタグを付けて pushしたんですね。そんでブラウザで付けたタグを確認すると、ソースが merge前のものになってたんです。！？焦ってmasterを見ると、ちゃんとmergeされている…