Retain dev branch.

Dev branch is a integrating branch for CI,
so it should not be deleted.

This commit prevents `git update` alias from deleting dev branch.

This commit fixes #255.
Merge branch 'id/255'