<div dir="ltr">I would suggest using "main" name.<div><br></div><div><div>Typing branch_1_2_18 is indeed cumbersome</div><div><br></div><div>Please keep branch_1_2_18 for a while otherwise the PRs would be closed automatically if you delete a branch.<br><div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>Vladimir</div></div></div></div></div><br></div></div></div>