$
happyphpdev
█
>
home
>
rss
//
categories
>
git
(2)
>
personal
(1)
>
php
(2)
>
tips
(1)
>
tools
(1)
// category
tips
How to rename master to main in Git