いちいちmasterにマージするだけで、checkoutするのは何かと面倒。
ワークコピーとか切り替わるのもやだし、なんとか綺麗にしたい。
git のpushはURLやリモート名だけでなく、ファイルパスも使えるので、
git push . dev:master
みたくしてやればいい。
高速前進がデフォだけど-fつけたら高速前進じゃなくても行ける。
そもそもローカルにmaster持つ必要なければ、
git push origin dev:master
でもいい。この場合ローカルのmasterは永久に更新されないので、show-branchした際にうざくなるから、こまめにmasterにもpullするか、いっそローカルのmaster削除しとくかする。