
21 Jan
2022
21 Jan
'22
1:15 p.m.
I would suggest using "main" name. 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. Vladimir