Typing branch_1_2_18 is indeed cumbersome

Please keep branch_1_2_18 for a while otherwise the PRs would be closed automatically if you delete a branch.